QBF-Based Symbolic Model Checking for Knowledge and Time
From MaRDI portal
Publication:5425450
DOI10.1007/978-3-540-72504-6_35zbMath1198.68173MaRDI QIDQ5425450
Zhen-Yu Chen, Zhihong Tao, Conghua Zhou
Publication date: 13 November 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-72504-6_35
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items