%0 Conference Paper %1 conf/icse/DongSL04 %A Dong, Jin Song %A Sun, Jun %A Liu, Yang %B ICSE %D 2013 %E Notkin, David %E Cheng, Betty H. C. %E Pohl, Klaus %I IEEE Computer Society %K dblp %P 1481-1483 %T Build your own model checker in one month. %U http://dblp.uni-trier.de/db/conf/icse/icse2013.html#DongSL04 %@ 978-1-4673-3076-3

@inproceedings{conf/icse/DongSL04, added-at = {2023-06-26T00:00:00.000+0200}, author = {Dong, Jin Song and Sun, Jun and Liu, Yang}, biburl = {https://www.bibsonomy.org/bibtex/2cefe3cab71ff378a9184988ab64a4f17/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2013}, editor = {Notkin, David and Cheng, Betty H. C. and Pohl, Klaus}, ee = {http://dl.acm.org/citation.cfm?id=2487047}, interhash = {6d92b761c919e29e7273fbe2531efb04}, intrahash = {cefe3cab71ff378a9184988ab64a4f17}, isbn = {978-1-4673-3076-3}, keywords = {dblp}, pages = {1481-1483}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:37:17.000+0200}, title = {Build your own model checker in one month.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2013.html#DongSL04}, year = 2013 }