BibTeX
@proceedings{DBLP:conf/dagstuhl/2007P7241,
editor = {Michaela Huhn and
Hardi Hungar and
Doron Peled},
title = {Tools for the Model-based Development of Certifiable, Dependable
Systems, 10.06. - 15.06.2007},
booktitle = {Tools for the Model-based Development of Certifiable, Dependable
Systems},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
series = {Dagstuhl Seminar Proceedings},
volume = {07241},
year = {2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2008-05-20 by Michael Ley (ley@uni-trier.de)