@inproceedings{TUW-109348,
author = {Holzer, Martin and Belanovic, Pavle and Knerr, Bastian and Rupp, Markus},
title = {Automatic Design Techniques for Embedded Systems},
booktitle = {Proceedings of GI/ITG/GMM Workshop Modellierung und Verifikation},
year = {2005},
numpages = {10},
url = {http://publik.tuwien.ac.at/files/pub-et_10213.pdf},
note = {talk: GI/ITG/GMM Workshop Modellierung und Verifikation, Munich, Germany; 2005-04-06 -- 2005-04-07}
}
Created from the Publication Database of the Vienna University of Technology.