%0 Conference Paper %1 conf/tls/KhoslaM87 %A Khosla, Samit %A Maibaum, T. S. E. %B Temporal Logic in Specification %D 1987 %E Banieqbal, Behnam %E Barringer, Howard %E Pnueli, Amir %I Springer %K dblp %P 243-294 %T The Prescription and Description of State Based Systems. %U http://dblp.uni-trier.de/db/conf/tls/tls1987.html#KhoslaM87 %V 398 %@ 0-387-51803-7

@inproceedings{conf/tls/KhoslaM87, added-at = {2017-05-19T00:00:00.000+0200}, author = {Khosla, Samit and Maibaum, T. S. E.}, biburl = {https://www.bibsonomy.org/bibtex/2143c757aaabab96522339754f425f948/dblp}, booktitle = {Temporal Logic in Specification}, crossref = {conf/tls/1987}, editor = {Banieqbal, Behnam and Barringer, Howard and Pnueli, Amir}, ee = {https://doi.org/10.1007/3-540-51803-7_30}, interhash = {a2609ed468d3fd22b732d338f3f808c3}, intrahash = {143c757aaabab96522339754f425f948}, isbn = {0-387-51803-7}, keywords = {dblp}, pages = {243-294}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T01:09:11.000+0200}, title = {The Prescription and Description of State Based Systems.}, url = {http://dblp.uni-trier.de/db/conf/tls/tls1987.html#KhoslaM87}, volume = 398, year = 1987 }