Hybrid and Real-Time Systems: International Workshop, ...
Preview
A New Algorithm for Discrete Timed Symbolic Model Checking Jiirgen Ruf and
Thomas Kropf University of Karlsruhe Institute of Computer Design and Fault
Tolerance (Prof. D. Schmid) Kaiserstr. 12, 76128 Karlsruhe, Germany Juergen.