Autor/in Damm, Werner 1 Dierks, Henning 1 Disch, Stefan Hagemann, Willem 1 Pigorsch, Florian 1 Scholl, Christoph 1 Waldmann, Uwe 1 Wirtz, BorisWirtz, Boris 1 alle zeigenListe einklappen
Exact and Fully Symbolic Verication of Linear Hybrid Automata with Large Discrete State Spaces Damm, Werner Dierks, Henning Disch, Stefan Hagemann, Willem Pigorsch, Florian Scholl, Christoph Waldmann, Uwe 2012 - ReposIt