CoVer

swMATH11375MaRDI QIDQ23321FDOQ23321

Author name not available (Why is that?)

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