Edmund M. Clarke, Orna Grumberg, David E. Long. Model checking. In Manfred Broy, editor, Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany. pages 305-349, 1996.
@inproceedings{ClarkeGL96, title = {Model checking}, author = {Edmund M. Clarke and Orna Grumberg and David E. Long}, year = {1996}, tags = {model checking, meta-model, e-science, Meta-Environment}, researchr = {https://researchr.org/publication/ClarkeGL96}, cites = {0}, citedby = {0}, pages = {305-349}, booktitle = {Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany}, editor = {Manfred Broy}, isbn = {3-540-60947-4}, }