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.

Conference or Workshop Item (A Paper)

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.


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.

This list was generated on Thu Oct 29 00:04:35 2020 CET.