"Symbolic Reachability Analysis for Multiple-clock System Design."

Ju Hwan Yi, Chong-Min Kyung (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics