%0 Conference Paper %1 conf/memocode/BalarinPPS05 %A Balarin, Felice %A Passerone, Roberto %A Pinto, Alessandro %A Sangiovanni-Vincentelli, Alberto L. %B MEMOCODE %D 2005 %I IEEE Computer Society %K dblp %P 155-163 %T A formal approach to system level design: metamodels and unified design environments. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2005.html#BalarinPPS05 %@ 0-7803-9227-2

@inproceedings{conf/memocode/BalarinPPS05, added-at = {2024-05-07T00:00:00.000+0200}, author = {Balarin, Felice and Passerone, Roberto and Pinto, Alessandro and Sangiovanni-Vincentelli, Alberto L.}, biburl = {https://www.bibsonomy.org/bibtex/24b4b8ab218d1f8a636b4e6523d872296/dblp}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2005}, ee = {https://www.wikidata.org/entity/Q57380620}, interhash = {ba1088fd7356502b2f87965514793880}, intrahash = {4b4b8ab218d1f8a636b4e6523d872296}, isbn = {0-7803-9227-2}, keywords = {dblp}, pages = {155-163}, publisher = {IEEE Computer Society}, timestamp = {2024-05-13T09:49:02.000+0200}, title = {A formal approach to system level design: metamodels and unified design environments.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2005.html#BalarinPPS05}, year = 2005 }