%0 Conference Paper %1 conf/forte/AbreuMFG09 %A Abreu, João %A Mazzanti, Franco %A Fiadeiro, José Luiz %A Gnesi, Stefania %B FMOODS/FORTE %D 2009 %E Lee, David %E Lopes, Antónia %E Poetzsch-Heffter, Arnd %I Springer %K dblp %P 219-224 %T A Model-Checking Approach for Service Component Architectures. %U http://dblp.uni-trier.de/db/conf/forte/forte2009.html#AbreuMFG09 %V 5522 %@ 978-3-642-02137-4

@inproceedings{conf/forte/AbreuMFG09, added-at = {2019-06-02T00:00:00.000+0200}, author = {Abreu, João and Mazzanti, Franco and Fiadeiro, José Luiz and Gnesi, Stefania}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b9a97503e194d672b0dc27e7db3f6a2d/dblp}, booktitle = {FMOODS/FORTE}, crossref = {conf/forte/2009}, editor = {Lee, David and Lopes, Antónia and Poetzsch-Heffter, Arnd}, ee = {https://www.wikidata.org/entity/Q62047643}, interhash = {5912217ddc72a31979f56f4260092425}, intrahash = {b9a97503e194d672b0dc27e7db3f6a2d}, isbn = {978-3-642-02137-4}, keywords = {dblp}, pages = {219-224}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:33:04.000+0200}, title = {A Model-Checking Approach for Service Component Architectures.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2009.html#AbreuMFG09}, volume = 5522, year = 2009 }