%0 Conference Paper %1 conf/kbse/CastanoBGU17 %A Castaño, Rodrigo %A Braberman, Víctor A. %A Garbervetsky, Diego %A Uchitel, Sebastián %B ASE %D 2017 %E Rosu, Grigore %E Penta, Massimiliano Di %E Nguyen, Tien N. %I IEEE Computer Society %K %P 200-205 %T Model checker execution reports. %U http://dblp.uni-trier.de/db/conf/kbse/ase2017.html#CastanoBGU17 %@ 978-1-5386-2684-9

@inproceedings{conf/kbse/CastanoBGU17, added-at = {2023-12-13T00:20:41.000+0100}, author = {Castaño, Rodrigo and Braberman, Víctor A. and Garbervetsky, Diego and Uchitel, Sebastián}, biburl = {https://www.bibsonomy.org/bibtex/2cc4fc97ba129caaf2cbeb1ae65281826/admin}, booktitle = {ASE}, crossref = {conf/kbse/2017}, editor = {Rosu, Grigore and Penta, Massimiliano Di and Nguyen, Tien N.}, ee = {http://dl.acm.org/citation.cfm?id=3155591}, interhash = {6208698838ae8dc2fe451bd786c7f10f}, intrahash = {cc4fc97ba129caaf2cbeb1ae65281826}, isbn = {978-1-5386-2684-9}, keywords = {}, pages = {200-205}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T00:20:41.000+0100}, title = {Model checker execution reports.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2017.html#CastanoBGU17}, year = 2017 }