Henny Sipma, Tomás E. Uribe, Zohar Manna. Deductive Model Checking. In Rajeev Alur, Thomas A. Henzinger, editors, Computer Aided Verification, 8th International Conference, CAV 96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings. Volume 1102 of Lecture Notes in Computer Science, pages 208-219, Springer, 1996.
@inproceedings{SipmaUM96,
title = {Deductive Model Checking},
author = {Henny Sipma and Tomás E. Uribe and Zohar Manna},
year = {1996},
tags = {model checking, meta-model, e-science, Meta-Environment},
researchr = {https://researchr.org/publication/SipmaUM96},
cites = {0},
citedby = {0},
pages = {208-219},
booktitle = {Computer Aided Verification, 8th International Conference, CAV 96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
editor = {Rajeev Alur and Thomas A. Henzinger},
volume = {1102},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-61474-5},
}