2003/01/01 by Rob van Glabbeek, Frits Vaandrager · 2 citations
Computer Science · #Distributed systems and fault tolerance #Formal Methods in Verification #Logic, programming, and type systems
paper · doi:10.1007/978-3-540-45187-7_4
crossref issued 2003/01/01 · crossref published 2003/01/01 · crossref published-print 2003/01/01 · openalex publication_date 2003/01/01 · crossref created 2010/06/25 · crossref deposited 2021/10/30 · openalex created_date 2025/10/10 · crossref indexed 2026/04/01 · openalex updated_date 2026/08/04