Verifying abstractions of timed systems
From MaRDI portal
Publication:6162104
DOI10.1007/3-540-61604-7_75zbMath1514.68148OpenAlexW1521052220MaRDI QIDQ6162104
Robert K. Brayton, Rajeev Alur, Serdar Tasiran, Robert Kurshan
Publication date: 28 June 2023
Published in: CONCUR '96: Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61604-7_75
Related Items
Better abstractions for timed automata, A survey of timed automata for the development of real-time systems, Modularity for timed and hybrid systems, Hardness of preorder checking for basic formalisms
Cites Work