%0 Conference Paper %1 conf/tacs/MannaP94 %A Manna, Zohar %A Pnueli, Amir %B TACS %D 1994 %E Hagiya, Masami %E Mitchell, John C. %I Springer %K dblp %P 726-765 %T Temporal Verification Diagrams. %U http://dblp.uni-trier.de/db/conf/tacs/tacs94.html#MannaP94 %V 789 %@ 3-540-57887-0

@inproceedings{conf/tacs/MannaP94, added-at = {2017-05-20T00:00:00.000+0200}, author = {Manna, Zohar and Pnueli, Amir}, biburl = {https://www.bibsonomy.org/bibtex/2f5dcb0c1a970c28c68c4c1b95de92235/dblp}, booktitle = {TACS}, crossref = {conf/tacs/1994}, editor = {Hagiya, Masami and Mitchell, John C.}, ee = {https://doi.org/10.1007/3-540-57887-0_123}, interhash = {ef58ad5427604ed7962873b8aac3912c}, intrahash = {f5dcb0c1a970c28c68c4c1b95de92235}, isbn = {3-540-57887-0}, keywords = {dblp}, pages = {726-765}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:16:24.000+0200}, title = {Temporal Verification Diagrams.}, url = {http://dblp.uni-trier.de/db/conf/tacs/tacs94.html#MannaP94}, volume = 789, year = 1994 }