Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}