Jin Song Dong, Jun Sun 0001, Yang Liu. Build your own model checker in one month. In David Notkin, Betty H. C. Cheng, Klaus Pohl, editors, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. pages 1481-1483, IEEE / ACM, 2013. [doi]
@inproceedings{DongSL04,
title = {Build your own model checker in one month},
author = {Jin Song Dong and Jun Sun 0001 and Yang Liu},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2487047},
researchr = {https://researchr.org/publication/DongSL04},
cites = {0},
citedby = {0},
pages = {1481-1483},
booktitle = {35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013},
editor = {David Notkin and Betty H. C. Cheng and Klaus Pohl},
publisher = {IEEE / ACM},
isbn = {978-1-4673-3076-3},
}