Edmund M. Clarke, Somesh Jha. Symmetry and Induction in Model Checking. In Jan van Leeuwen, editor, Computer Science Today: Recent Trends and Developments. Volume 1000 of Lecture Notes in Computer Science, pages 455-470, Springer, 1995.
@incollection{ClarkeJ95, title = {Symmetry and Induction in Model Checking}, author = {Edmund M. Clarke and Somesh Jha}, year = {1995}, tags = {model checking, meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/ClarkeJ95}, cites = {0}, citedby = {0}, pages = {455-470}, booktitle = {Computer Science Today: Recent Trends and Developments}, editor = {Jan van Leeuwen}, volume = {1000}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-60105-8}, }