2002/11/05 by Radu Mateescu, Mihaela Sighireanu · 1 citation
Computer Science · #Abstraction model checking #Algorithm #Computer science #Formal Methods in Verification #Liveness #Model checking #Programming language #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #Temporal logic #Theoretical computer science
paper · doi:10.1016/s0167-6423(02)00094-1
openalex publication_date 2002/11/05 · crossref created 2002/11/05 · crossref issued 2003/03/01 · crossref published 2003/03/01 · crossref published-print 2003/03/01 · crossref deposited 2020/03/09 · openalex created_date 2025/10/10 · crossref indexed 2025/10/28 · openalex updated_date 2026/07/22