CoVer

MaRDI QIDQ23321swMATHFDO

Official website http://user.it.uu.se/~hessel/Thesis/sub.pdf

Cited in

(4)

• A survey of timed automata for the development of real-time systems
• DREAM Tool
• McAiT
• Tempo

This page was built for software: CoVer