1999/01/01 by Markus Müller-Olm, David Schmidt, Bernhard Steffen · 1 citation
Computer Science · Engineering · #Abstraction model checking #Computer science #Formal Methods in Verification #Model checking #Programming language #Property (philosophy) #Safety Systems Engineering in Autonomy #Software Testing and Debugging Techniques #Software engineering #Theoretical computer science
paper · doi:10.1007/3-540-48294-6_22
crossref issued 1999/01/01 · crossref published 1999/01/01 · crossref published-print 1999/01/01 · openalex publication_date 1999/01/01 · crossref published-online 1999/10/01 · crossref created 2007/08/03 · openalex created_date 2022/01/25 · crossref deposited 2026/05/08 · crossref indexed 2026/05/08 · openalex updated_date 2026/07/29