Decidable Classes of the Verification Problem in a Timed Predicate Logic.

Danile Beauquier, Anatol Slissenko

Browse the full FCT paper archive.