%0 Journal Article %1 journals/fmsd/BjornerBCFMSU00 %A Bjørner, Nikolaj S. %A Browne, Anca %A Colón, Michael %A Finkbeiner, Bernd %A Manna, Zohar %A Sipma, Henny %A Uribe, Tomás E. %D 2000 %J Formal Methods Syst. Des. %K dblp %N 3 %P 227-270 %T Verifying Temporal Properties of Reactive Systems: A STeP Tutorial. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd16.html#BjornerBCFMSU00 %V 16

@article{journals/fmsd/BjornerBCFMSU00, added-at = {2022-04-14T00:00:00.000+0200}, author = {Bjørner, Nikolaj S. and Browne, Anca and Colón, Michael and Finkbeiner, Bernd and Manna, Zohar and Sipma, Henny and Uribe, Tomás E.}, biburl = {https://www.bibsonomy.org/bibtex/2607d6229000ef1519034ac0ebd577a94/dblp}, ee = {https://doi.org/10.1023/A:1008700623084}, interhash = {5ce4b3a97e9466e681ab37877a2ec20d}, intrahash = {607d6229000ef1519034ac0ebd577a94}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 3, pages = {227-270}, timestamp = {2024-04-08T17:15:03.000+0200}, title = {Verifying Temporal Properties of Reactive Systems: A STeP Tutorial.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd16.html#BjornerBCFMSU00}, volume = 16, year = 2000 }