Automated Technology for Verification and Analysis

DOI10.1007/11562948zbMath1170.68510OpenAlexW4300912265MaRDI QIDQ5491883

David Harel, Hillel Kugler, Pierre-Philippe Combes

Publication date: 10 October 2006

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Some Results on the Expressive Power and Complexity of LSCs

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