%0 Conference Paper %1 conf/icse/ShafieiB13 %A Shafiei, Nastaran %A van Breugel, Franck %B GAS@ICSE %D 2013 %E Cooper, Kendra M. L. %E Scacchi, Walt %E Wang, Alf Inge %I IEEE Computer Society %K dblp %P 15-21 %T Towards model checking of computer games with Java PathFinder. %U http://dblp.uni-trier.de/db/conf/icse/gas2013.html#ShafieiB13 %@ 978-1-4673-6263-4

@inproceedings{conf/icse/ShafieiB13, added-at = {2017-05-23T00:00:00.000+0200}, author = {Shafiei, Nastaran and van Breugel, Franck}, biburl = {https://www.bibsonomy.org/bibtex/2dfe460974701683c356b611864edb834/dblp}, booktitle = {GAS@ICSE}, crossref = {conf/icse/2013gas}, editor = {Cooper, Kendra M. L. and Scacchi, Walt and Wang, Alf Inge}, ee = {http://dl.acm.org/citation.cfm?id=2662596}, interhash = {f1fefad9215eb8176871ab86e64c4100}, intrahash = {dfe460974701683c356b611864edb834}, isbn = {978-1-4673-6263-4}, keywords = {dblp}, pages = {15-21}, publisher = {IEEE Computer Society}, timestamp = {2017-08-09T11:37:04.000+0200}, title = {Towards model checking of computer games with Java PathFinder.}, url = {http://dblp.uni-trier.de/db/conf/icse/gas2013.html#ShafieiB13}, year = 2013 }