A New Algorithm for Discrete Timed Symbolic Model Checking.

Jürgen Ruf Thomas Kropf A New Algorithm for Discrete Timed Symbolic Model Checking. 18-32 1997 conf/hybrid/1997hart HART db/conf/hybrid/hart97.html#RufK97