%0 Conference Paper %1 conf/tssdv/MannaBBCFPSU98 %A Manna, Zohar %A Bjørner, Nikolaj S. %A Browne, Anca %A Colón, Michael %A Finkbeiner, Bernd %A Pichora, Mark C. %A Sipma, Henny B. %A Uribe, Tomás E. %B Tool Support for System Specification, Development and Verification %D 1998 %E Berghammer, Rudolf %E Lakhnech, Yassine %I Springer %K dblp %P 174-188 %T An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems. %U http://dblp.uni-trier.de/db/conf/tssdv/tssdv1998.html#MannaBBCFPSU98 %@ 978-3-211-83282-0

@inproceedings{conf/tssdv/MannaBBCFPSU98, added-at = {2022-04-14T00:00:00.000+0200}, author = {Manna, Zohar and Bjørner, Nikolaj S. and Browne, Anca and Colón, Michael and Finkbeiner, Bernd and Pichora, Mark C. and Sipma, Henny B. and Uribe, Tomás E.}, biburl = {https://www.bibsonomy.org/bibtex/251d4b419bc8cc8795a1b67d95b7c7de5/dblp}, booktitle = {Tool Support for System Specification, Development and Verification}, crossref = {conf/tssdv/1998}, editor = {Berghammer, Rudolf and Lakhnech, Yassine}, ee = {https://doi.org/10.1007/978-3-7091-6355-9_13}, interhash = {3e8b63f24dc4c619c9ff34da1ee27a21}, intrahash = {51d4b419bc8cc8795a1b67d95b7c7de5}, isbn = {978-3-211-83282-0}, keywords = {dblp}, pages = {174-188}, publisher = {Springer}, series = {Advances in computing science}, timestamp = {2024-04-10T05:38:09.000+0200}, title = {An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems.}, url = {http://dblp.uni-trier.de/db/conf/tssdv/tssdv1998.html#MannaBBCFPSU98}, year = 1998 }