Automated Technology for Verification and Analysis

DOI10.1007/B102065zbMath1108.68081OpenAlexW3139984071MaRDI QIDQ5394198

Marisa Llorens, Javier Oliver

Publication date: 25 October 2006

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

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

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

Dynamic Slicing Techniques for Petri Nets

This page was built for publication: Automated Technology for Verification and Analysis