Steven P. Miller
Bridging the Gap Between Model-Based Development and Model Checking
TACAS, 2009.
@inproceedings{TACAS-2009-Miller, author = "Steven P. Miller", booktitle = "{Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}", doi = "10.1007/978-3-642-00768-2_36", isbn = "978-3-642-00767-5", pages = "443--453", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Bridging the Gap Between Model-Based Development and Model Checking}", volume = 5505, year = 2009, }