Model Checking Quantified Computation Tree Logic
From MaRDI portal
Publication:5756604
DOI10.1007/11817949_8zbMath1151.68489MaRDI QIDQ5756604
Publication date: 4 September 2007
Published in: CONCUR 2006 – Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11817949_8
Related Items
A Logical Approach to Data-Aware Automated Sequence Generation, Explicit State Model Checking for Graph Grammars
Uses Software