Formal Techniques for Networked and Distributed Systems - FORTE 2005

DOI10.1007/11562436zbMath1169.68519OpenAlexW2915402656MaRDI QIDQ5479152

Bow-Yaw Wang

Publication date: 7 July 2006

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

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Linear templates of ACTL formulas with an application to SAT-based verification ⋮ Complete SAT-Based Model Checking for Context-Free Processes ⋮ Bounded semantics

This page was built for publication: Formal Techniques for Networked and Distributed Systems - FORTE 2005