%0 Conference Paper %1 Bjørner00verifyingtemporal %A Bjørner, Nikolaj S. %A Browne, Anca %A Colon, Michael A. %A Finkbeiner, Bernd %A Manna, Zohar %A Sipma, Henny B. %A Uribe, Tomas E. %B FORMAL METHODS IN SYSTEM DESIGN %D 2000 %K deductive parameterized temporal verification %P 2000 %T Verifying temporal properties of reactive systems: A STeP tutorial

@inproceedings{Bjørner00verifyingtemporal, added-at = {2010-06-03T19:24:12.000+0200}, author = {Bjørner, Nikolaj S. and Browne, Anca and Colon, Michael A. and Finkbeiner, Bernd and Manna, Zohar and Sipma, Henny B. and Uribe, Tomas E.}, biburl = {https://www.bibsonomy.org/bibtex/2717391beaf476af01aa71b2010f47a71/giuliano.losa}, booktitle = {FORMAL METHODS IN SYSTEM DESIGN}, interhash = {d4a3ca8b84be72c439171700a8ffc44c}, intrahash = {717391beaf476af01aa71b2010f47a71}, keywords = {deductive parameterized temporal verification}, pages = 2000, timestamp = {2010-06-03T19:24:12.000+0200}, title = {Verifying temporal properties of reactive systems: A STeP tutorial}, year = 2000 }