Autor/in Damm, Werner Dierks, Henning 2 Disch, Stefan 1 Hagemann, Willem 1 Oehlerking, Jens 1 Pigorsch, Florian 1 Pnueli, Amir 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
Towards Component Based Design of Hybrid Systems: Safety and Stability Damm, Werner Dierks, Henning Oehlerking, Jens Pnueli, Amir 2010 - ReposIt
