%0 Conference Paper %1 conf/nfm/MargariaBWVHS09 %A Margaria, Tiziana %A Bakera, Marco %A Wagner, Christian %A Vassev, Emil %A Hinchey, Michael G. %A Steffen, Bernhard %B NASA Formal Methods %D 2009 %E Denney, Ewen %E Giannakopoulou, Dimitra %E Pasareanu, Corina S. %K dblp %P 66-75 %T Component-Oriented Behavior Extraction for Autonomic System Design. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2009.html#MargariaBWVHS09 %V NASA/CP-2009-215407

@inproceedings{conf/nfm/MargariaBWVHS09, added-at = {2012-07-17T00:00:00.000+0200}, author = {Margaria, Tiziana and Bakera, Marco and Wagner, Christian and Vassev, Emil and Hinchey, Michael G. and Steffen, Bernhard}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23520e58944d42651101a1f9638e8f0f2/dblp}, booktitle = {NASA Formal Methods}, crossref = {conf/nfm/2009}, editor = {Denney, Ewen and Giannakopoulou, Dimitra and Pasareanu, Corina S.}, interhash = {e0feaf5221b4db9943ee7be45d47601d}, intrahash = {3520e58944d42651101a1f9638e8f0f2}, keywords = {dblp}, pages = {66-75}, series = {NASA Conference Proceedings}, timestamp = {2016-02-02T12:27:44.000+0100}, title = {Component-Oriented Behavior Extraction for Autonomic System Design.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2009.html#MargariaBWVHS09}, volume = {NASA/CP-2009-215407}, year = 2009 }