Dynamic Extrapolation in Extended Timed Automata.

Nicolaj . Jensen, Peter Gjl Jensen, Kim G. Larsen

Browse the full ICFEM paper archive.