William Chan, Richard J. Anderson, Paul Beame, David Notkin. Improving Efficiency of Symbolic Model Checking for State-Based System Requirements. In ISSTA. pages 102-112, 1998. [doi]
@inproceedings{ChanABN98,
title = {Improving Efficiency of Symbolic Model Checking for State-Based System Requirements},
author = {William Chan and Richard J. Anderson and Paul Beame and David Notkin},
year = {1998},
doi = {10.1145/271771.271798},
url = {http://doi.acm.org/10.1145/271771.271798},
tags = {rule-based, model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/ChanABN98},
cites = {0},
citedby = {0},
pages = {102-112},
booktitle = {ISSTA},
}