Practical Efficient Modular Linear-Time Model-Checking
From MaRDI portal
Publication:3540089
DOI10.1007/978-3-540-88387-6_35zbMath1183.68371OpenAlexW1528952545MaRDI QIDQ3540089
Carlo A. Furia, Paola Spoletini
Publication date: 20 November 2008
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-88387-6_35
Related Items
Uses Software
Cites Work