QBF-Based Symbolic Model Checking for Knowledge and Time
From MaRDI portal
Publication:5425450
DOI10.1007/978-3-540-72504-6_35zbMath1198.68173OpenAlexW1521782397MaRDI 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
Related Items (1)
This page was built for publication: QBF-Based Symbolic Model Checking for Knowledge and Time