Robust Analysis of Timed Automata Via Channel Machines

From MaRDI portal
Publication:5458357

DOI10.1007/978-3-540-78499-9_12zbMath1138.68431OpenAlexW2082762653MaRDI QIDQ5458357

Nicolas Markey, Patricia Bouyer, Pierre-Alain Reynier

Publication date: 11 April 2008

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78499-9_12



Related Items


Uses Software


Cites Work