TY  - DATA
AU  - Behnam Banieqbal, Howard Barringer, Amir Pnueli
TI  - Temporal Logic in Specification
SN  - 9783540468110
PY  - 1989///
PB  - Springer Berlin Heidelberg
KW  - Computer Science
UR  - https://doi.org/10.1007/3-540-51803-7
ER  -