Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. On the Expressiveness of Metric Temporal Logic over Bounded Timed Words

On the Expressiveness of Metric Temporal Logic over Bounded Timed Words

Hsi−Ming Ho and Joël Ouaknine

Note
To appear in RP 2014.
Year
2014

Links

See Also

Back to Top