%0 Conference Paper %1 conf/icse/MaozS13 %A Maoz, Shahar %A Sa'ar, Yaniv %B ICSE %D 2013 %E Notkin, David %E Cheng, Betty H. C. %E Pohl, Klaus %I IEEE Computer Society %K dblp %P 242-251 %T Counter play-out: executing unrealizable scenario-based specifications. %U http://dblp.uni-trier.de/db/conf/icse/icse2013.html#MaozS13 %@ 978-1-4673-3076-3

@inproceedings{conf/icse/MaozS13, added-at = {2016-05-03T00:00:00.000+0200}, author = {Maoz, Shahar and Sa'ar, Yaniv}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20a33ac9bfbfcc22d286347a96912ad07/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=2486821}, interhash = {741aeaafe4c95afab53b0618b8ec4de3}, intrahash = {0a33ac9bfbfcc22d286347a96912ad07}, isbn = {978-1-4673-3076-3}, keywords = {dblp}, pages = {242-251}, publisher = {IEEE Computer Society}, timestamp = {2016-05-04T09:34:50.000+0200}, title = {Counter play-out: executing unrealizable scenario-based specifications.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2013.html#MaozS13}, year = 2013 }