Symbolic model checking of timed guarded commands using difference decision diagrams.

Jesper B. Møller Henrik Hulgaard Henrik Reif Andersen Symbolic model checking of timed guarded commands using difference decision diagrams. 53-77 2002 52-53 J. Log. Algebr. Program. http://dx.doi.org/10.1016/S1567-8326(02)00023-1 db/journals/jlp/jlp52.html#MollerHA02