On Clock-Aware LTL Properties of Timed Automata.

Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cern

Browse the full ICTAC paper archive.