Formal Modeling and Analysis of Timed Systems

DOI10.1007/11603009zbMath1175.68254OpenAlexW2493457341MaRDI QIDQ5897956

Parosh Aziz Abdulla

Publication date: 14 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)

This page was built for publication: Formal Modeling and Analysis of Timed Systems