Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/11691372zbMath1180.68177OpenAlexW2739785336MaRDI QIDQ5899064

Peter Niebert, Doron A. Peled

Publication date: 2 May 2007

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

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

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Testing Distributed Systems Through Symbolic Model Checking

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems