Nikolaj Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Zohar Manna, Henny Sipma, Tomás E. Uribe. Verifying Temporal Properties of Reactive Systems: A STeP Tutorial. Formal Methods in System Design, 16(3):227-270, 2000.
@article{BjornerBCFMSU00,
title = {Verifying Temporal Properties of Reactive Systems: A STeP Tutorial},
author = {Nikolaj Bjørner and Anca Browne and Michael Colón and Bernd Finkbeiner and Zohar Manna and Henny Sipma and Tomás E. Uribe},
year = {2000},
tags = {e-science},
researchr = {https://researchr.org/publication/BjornerBCFMSU00},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {16},
number = {3},
pages = {227-270},
}