Layered and Collecting NDFS with Subsumption for Parametric Timed Automata.

Hoang Gia Nguyen, Laure Petrucci, Jaco van de Pol

Browse the full ICECCS paper archive.