Hagemann, Willem Automation of Logic, MPI for Informatics, Max Planck Society;
Waldmann, Uwe Automation of Logic, MPI for Informatics, Max Planck Society;
Damm, W., Disch, S., Hagemann, W., Scholl, C., Waldmann, U., & Wirtz, B.(2011). Integrating Incremental Flow Pipes into a Symbolic Model Checker for Hybrid Systems (ATR76). Saarbrücken: SFB/TR 14 AVACS.