Dagstuhl Seminar Proceedings:
Quantitative Aspects of Embedded Systems 2007
Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele (Eds.):
Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007.
Dagstuhl Seminar Proceedings 07101 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007