%0 Conference Paper %1 conf/sigsoft/DamasLL06 %A Damas, Christophe %A Lambeau, Bernard %A van Lamsweerde, Axel %B SIGSOFT FSE %D 2006 %E Young, Michal %E Devanbu, Premkumar T. %I ACM %K dblp %P 197-207 %T Scenarios, goals, and state machines: a win-win partnership for model synthesis. %U http://dblp.uni-trier.de/db/conf/sigsoft/fse2006.html#DamasLL06 %@ 1-59593-468-5

@inproceedings{conf/sigsoft/DamasLL06, added-at = {2018-11-06T00:00:00.000+0100}, author = {Damas, Christophe and Lambeau, Bernard and van Lamsweerde, Axel}, biburl = {https://www.bibsonomy.org/bibtex/2c2a4f93fbe52c5cb550c7ab43f3edf68/dblp}, booktitle = {SIGSOFT FSE}, crossref = {conf/sigsoft/2006}, editor = {Young, Michal and Devanbu, Premkumar T.}, ee = {https://doi.org/10.1145/1181775.1181800}, interhash = {0b087818f37f0b9712552e5522ff7375}, intrahash = {c2a4f93fbe52c5cb550c7ab43f3edf68}, isbn = {1-59593-468-5}, keywords = {dblp}, pages = {197-207}, publisher = {ACM}, timestamp = {2024-04-09T17:53:21.000+0200}, title = {Scenarios, goals, and state machines: a win-win partnership for model synthesis.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2006.html#DamasLL06}, year = 2006 }