Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar. Symbolic Model Checking with Rich ssertional Languages. In Orna Grumberg, editor, Computer Aided Verification, 9th International Conference, CAV 97, Haifa, Israel, June 22-25, 1997, Proceedings. Volume 1254 of Lecture Notes in Computer Science, pages 424-435, Springer, 1997.
@inproceedings{KestenMMPS97,
title = {Symbolic Model Checking with Rich ssertional Languages},
author = {Yonit Kesten and Oded Maler and Monica Marcus and Amir Pnueli and Elad Shahar},
year = {1997},
tags = {model checking, meta-model, modeling language, language modeling, Meta-Environment},
researchr = {https://researchr.org/publication/KestenMMPS97},
cites = {0},
citedby = {0},
pages = {424-435},
booktitle = {Computer Aided Verification, 9th International Conference, CAV 97, Haifa, Israel, June 22-25, 1997, Proceedings},
editor = {Orna Grumberg},
volume = {1254},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-63166-6},
}