%0 Conference Paper %1 conf/icse/DamasLRL09 %A Damas, Christophe %A Lambeau, Bernard %A Roucoux, François %A van Lamsweerde, Axel %B ICSE %D 2009 %I IEEE %K dblp %P 441-451 %T Analyzing critical process models through behavior model synthesis. %U http://dblp.uni-trier.de/db/conf/icse/icse2009.html#DamasLRL09 %@ 978-1-4244-3452-7

@inproceedings{conf/icse/DamasLRL09, added-at = {2017-06-13T00:00:00.000+0200}, author = {Damas, Christophe and Lambeau, Bernard and Roucoux, François and van Lamsweerde, Axel}, biburl = {https://www.bibsonomy.org/bibtex/2ea79b4f2a65beb4cd5cbfe6ade1e458c/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2009}, ee = {http://dl.acm.org/citation.cfm?id=1555058}, interhash = {e5f51854e3e8aa823d19f2b95e61a4f4}, intrahash = {ea79b4f2a65beb4cd5cbfe6ade1e458c}, isbn = {978-1-4244-3452-7}, keywords = {dblp}, pages = {441-451}, publisher = {IEEE}, timestamp = {2017-06-14T12:06:42.000+0200}, title = {Analyzing critical process models through behavior model synthesis.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2009.html#DamasLRL09}, year = 2009 }