Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Decidability of the Interval Temporal Logic ABB Over the Natural Numbers

Decidability of the Interval Temporal Logic ABB Over the Natural Numbers

Angelo Montanari‚ Gabriele Puppis and Pietro Sala

Journal
STACS'10: Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science
Year
2010

Links

See Also

Back to Top