Symbolic Unfoldings for Networks of Timed Automata

DOI10.1007/11901914_24zbMath1161.68615OpenAlexW2118938189MaRDI QIDQ3522917

Franck Cassez, Thomas Chatain, Claude Jard

Publication date: 4 September 2008

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11901914_24

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Regular set of representatives for time-constrained MSC graphs ⋮ Symbolic unfolding of parametric stopwatch Petri nets

Uses Software

• Unnamed Item
• HyTech
• CMC

This page was built for publication: Symbolic Unfoldings for Networks of Timed Automata