Model-Checking One-Clock Priced Timed Automata.

Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey

Browse the full FOSSACS paper archive.