Tempo

swMATH11778MaRDI QIDQ23717FDOQ23717

Author name not available (Why is that?)

Cited In (5)

• A survey of timed automata for the development of real-time systems
• Event Clock Automata: From Theory to Practice
• Title not available (Why is that?)
• On regions and zones for event-clock automata
• Bounded model checking for timed automata

This page was built for software: Tempo