1993/01/01 by Doron Peled · 1 citation
Computer Science · Mathematics · #Abstraction model checking #Algorithm #Artificial intelligence #Class (philosophy) #Computer science #Discrete mathematics #Equivalence (formal languages) #Equivalence relation #Finite-state machine #Formal Methods in Verification #Graph #Logic, programming, and type systems #Mathematics #Model checking #Programming language #Rewriting #Sequence (biology) #Software Testing and Debugging Techniques #State (computer science) #Theoretical computer science
paper · pdf · doi:10.1007/3-540-56922-7_34
crossref issued 1993/01/01 · crossref published 1993/01/01 · crossref published-print 1993/01/01 · openalex publication_date 1993/01/01 · crossref published-online 2005/05/27 · crossref created 2012/02/26 · crossref deposited 2021/12/31 · openalex created_date 2025/10/10 · crossref indexed 2026/07/16 · openalex updated_date 2026/07/29