%0 Conference Paper %1 conf/tls/Josko87 %A Josko, Bernhard %B Temporal Logic in Specification %D 1987 %E Banieqbal, Behnam %E Barringer, Howard %E Pnueli, Amir %I Springer %K dblp %P 165-187 %T MCTL - An Extension of CTL for Modular Verification of Concurrent Systems. %U http://dblp.uni-trier.de/db/conf/tls/tls1987.html#Josko87 %V 398 %@ 0-387-51803-7

@inproceedings{conf/tls/Josko87, added-at = {2017-05-19T00:00:00.000+0200}, author = {Josko, Bernhard}, biburl = {https://www.bibsonomy.org/bibtex/2e82574ff00ab4c1d6452beb177fc2f5d/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_25}, interhash = {553ef0755fffbca6cf1bbd009e6849ba}, intrahash = {e82574ff00ab4c1d6452beb177fc2f5d}, isbn = {0-387-51803-7}, keywords = {dblp}, pages = {165-187}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T01:09:11.000+0200}, title = {MCTL - An Extension of CTL for Modular Verification of Concurrent Systems.}, url = {http://dblp.uni-trier.de/db/conf/tls/tls1987.html#Josko87}, volume = 398, year = 1987 }