HyTech: A model checker for hybrid systems
T.A. Henzinger, P. Ho, H. Wong Toi, in:, Springer, 1997, pp. 460–463.
LibreCat: https://research-explorer.ista.ac.at/record/4494
DOI: 10.1007/3-540-63166-6_48

Partial-order reduction in symbolic state-space exploration
R. Alur, R. Brayton, T.A. Henzinger, S. Qadeer, S. Rajamani, in:, 9th International Conference on Computer Aided Verification, Springer, 1997, pp. 340–351.
LibreCat: https://research-explorer.ista.ac.at/record/4608
DOI: 10.1007/3-540-63166-6_34