Jacobs, Swen Automation of Logic, MPI for Informatics, Max Planck Society;
Waldmann, Uwe Automation of Logic, MPI for Informatics, Max Planck Society;
Damm, W., Disch, S., Hungar, H., Jacobs, S., Pang, J., Pigorsch, F., et al. (2007). Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space. In K. S. Namjoshi, T. Yoneda, T. Higashino, & Y. Okamura (Eds.), Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007 (pp. 425-440). Berlin, Germany: Springer.