%0 Conference Paper %1 conf/sfm/Garlan03 %A Garlan, David %B SFM %D 2003 %E Bernardo, Marco %E Inverardi, Paola %I Springer %K dblp %P 1-24 %T Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events. %U http://dblp.uni-trier.de/db/conf/sfm/sfm2003.html#Garlan03 %V 2804 %@ 3-540-20083-5

@inproceedings{conf/sfm/Garlan03, added-at = {2017-05-24T00:00:00.000+0200}, author = {Garlan, David}, biburl = {https://www.bibsonomy.org/bibtex/211e3d697a79da3d61b9e3d09eb8c6a71/dblp}, booktitle = {SFM}, crossref = {conf/sfm/2003}, editor = {Bernardo, Marco and Inverardi, Paola}, ee = {https://doi.org/10.1007/978-3-540-39800-4_1}, interhash = {7d7cea11b652864511a50fcecdce059a}, intrahash = {11e3d697a79da3d61b9e3d09eb8c6a71}, isbn = {3-540-20083-5}, keywords = {dblp}, pages = {1-24}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:51:36.000+0200}, title = {Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events.}, url = {http://dblp.uni-trier.de/db/conf/sfm/sfm2003.html#Garlan03}, volume = 2804, year = 2003 }