%0 Conference Paper %1 conf/facs2/AminofMM11 %A Aminof, Benjamin %A Mogavero, Fabio %A Murano, Aniello %B FACS %D 2011 %E Arbab, Farhad %E Ölveczky, Peter Csaba %I Springer %K dblp %P 42-60 %T Synthesis of Hierarchical Systems. %U http://dblp.uni-trier.de/db/conf/facs2/facs2011.html#AminofMM11 %V 7253 %@ 978-3-642-35743-5

@inproceedings{conf/facs2/AminofMM11, added-at = {2017-06-02T00:00:00.000+0200}, author = {Aminof, Benjamin and Mogavero, Fabio and Murano, Aniello}, biburl = {https://www.bibsonomy.org/bibtex/238dcf558732aceb633594fd1e001eb0c/dblp}, booktitle = {FACS}, crossref = {conf/facs2/2011}, editor = {Arbab, Farhad and Ölveczky, Peter Csaba}, ee = {https://doi.org/10.1007/978-3-642-35743-5_4}, interhash = {d1cbaa1cae6491f328f708a212141f0c}, intrahash = {38dcf558732aceb633594fd1e001eb0c}, isbn = {978-3-642-35743-5}, keywords = {dblp}, pages = {42-60}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:05:43.000+0200}, title = {Synthesis of Hierarchical Systems.}, url = {http://dblp.uni-trier.de/db/conf/facs2/facs2011.html#AminofMM11}, volume = 7253, year = 2011 }