• Publications
  • Influence

Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications.
  • E. Corsetti, E. Crivelli, +4 authors E. Ratto
  • Proceedings of the Sixth International Workshop…
  • 1991
We motivate the need for allowing the consistent treatment of different time scales in formal specifications of time critical systems, with the purpose of enhancing the naturalness and practical(More)