Computer Aided Verification
From MaRDI portal
Publication:5716585
DOI10.1007/b138445zbMath1081.68632OpenAlexW2507913385MaRDI QIDQ5716585
Enric Pastor, Marc Solé, Marco A. Peña
Publication date: 10 January 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b138445
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)
Uses Software
This page was built for publication: Computer Aided Verification