TY - BOOK TI - The temporal logic of reactive and concurrent systems AU - Manna, Zohar. AU - Pnueli, A. SN - 0387976647 (New York : v. 1) PB - Springer-Verlag PP - New York : Springer-Verlag , c1992-. PY - 1992- UR - https://library.korea.ac.kr/detail/?cid=CAT000045310061&ctype=m