Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/b96393zbMath1126.68478OpenAlexW4299869287MaRDI QIDQ5308425

Misa Keinänen, Jan Friso Groote

Publication date: 28 September 2007

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

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

Mathematics Subject Classification ID

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 (2)

A Multi-Core Solver for Parity Games ⋮ Switching Graphs

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