Items where Author is "Herbstritt, Marc"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Mehlhorn, Kurt and Vardi, Moshe Y. and Herbstritt, Marc
(2012) Publication Culture in Computing Research (Dagstuhl Perspectives Workshop 12452).
Dagstuhl Reports, 2 (11). 20–44.

Becker, Bernd and Behle, Markus and Eisenbrand, Friedrich and Franzle, Martin and Herbstritt, Marc and Herde, Christian and Hoffmann, Jörg and Kröning, Daniel and Nebel, Bernhard and Polian, Ilia and Wimmer, Ralf
(2004) Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems.
In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, February 24-25, 2004.

This list was generated on Wed Dec 4 09:49:02 2024 CET.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.