%0 Conference Paper %1 conf/mbees/HenklerE12 %A Henkler, Stefan %A Eckardt, Tobias %B MBEES %D 2012 %E Giese, Holger %E Huhn, Michaela %E Phillips, Jan %E Schätz, Bernhard %I fortiss GmbH, München %K dblp %P 113-122 %T Component Behavior Synthesis for Critical Systems. %U http://dblp.uni-trier.de/db/conf/mbees/mbees2012.html#HenklerE12

@inproceedings{conf/mbees/HenklerE12, added-at = {2012-06-19T00:00:00.000+0200}, author = {Henkler, Stefan and Eckardt, Tobias}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/22a0ec226302d880da1a9caf324887dea/dblp}, booktitle = {MBEES}, crossref = {conf/mbees/2012}, editor = {Giese, Holger and Huhn, Michaela and Phillips, Jan and Schätz, Bernhard}, ee = {http://www.in.tu-clausthal.de/fileadmin/homes/GI/Documents/MBEES12Proceedings.pdf}, interhash = {a32ab363c089931783bc7fd4637cebdd}, intrahash = {2a0ec226302d880da1a9caf324887dea}, keywords = {dblp}, pages = {113-122}, publisher = {fortiss GmbH, München}, timestamp = {2016-02-02T11:16:53.000+0100}, title = {Component Behavior Synthesis for Critical Systems.}, url = {http://dblp.uni-trier.de/db/conf/mbees/mbees2012.html#HenklerE12}, year = 2012 }