Shrinking timed automata

Ocan Sankur, Patricia Bouyer, Nicolas Markey. Shrinking timed automata. Inf. Comput., 234:107-132, 2014. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: