2008/01/01 by Francesco Calzolai, Rocco De Nicola, Michele Loreti +1 · 1 citation
Computer Science · Mathematics · #Algebra over a field #Algorithm #Computer science #Counterexample #Discrete mathematics #Equivalence (formal languages) #Feature (linguistics) #Formal Methods in Verification #Mathematics #Model checking #Model-Driven Software Engineering Techniques #Process (computing) #Process calculus #Programming language #Pure mathematics #Representation (politics) #Rotation formalisms in three dimensions #Set (abstract data type) #Software Reliability and Analysis Research #Theoretical computer science #Transition system
paper · doi:10.1007/978-3-540-89287-8_4
crossref issued 2008/01/01 · crossref published 2008/01/01 · crossref published-print 2008/01/01 · openalex publication_date 2008/01/01 · crossref created 2008/11/26 · crossref deposited 2019/03/04 · crossref indexed 2024/09/05 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/29