%0 Conference Paper %1 Manna94temporalverification %A Manna, Zohar %A Pnueli, Amir %B In 15th Conference on the Foundations of Software Technology and Theoretical Computer Science %D 1994 %I Springer-Verlag %K diagrams parameterized temporal verification %P 726--765 %T Temporal Verification Diagrams

@inproceedings{Manna94temporalverification, added-at = {2010-04-30T12:22:39.000+0200}, author = {Manna, Zohar and Pnueli, Amir}, biburl = {https://www.bibsonomy.org/bibtex/2dde6e1b7884f1e3831439e2024c94cb1/giuliano.losa}, booktitle = {In 15th Conference on the Foundations of Software Technology and Theoretical Computer Science}, interhash = {ef58ad5427604ed7962873b8aac3912c}, intrahash = {dde6e1b7884f1e3831439e2024c94cb1}, keywords = {diagrams parameterized temporal verification}, pages = {726--765}, publisher = {Springer-Verlag}, timestamp = {2010-04-30T12:22:39.000+0200}, title = {Temporal Verification Diagrams}, year = 1994 }