Search results for: Wan Fokkink
Fundamenta Informaticae > 2019 > Vol. 165, nr 1 > 1--41
Information and Computation > 2017 > 257 > C > 79-113
Lecture Notes in Computer Science > Computer Aided Verification > Tool Presentations: Rewriting and Theorem-Proving Techniques > 250-254
Lecture Notes in Computer Science > CONCUR 2006 – Concurrency Theory > Bisimulation and Simulation > 421-434
Formal Methods in System Design > 2016 > 49 > 3 > 159-189
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 20-34
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Semantics > 258-272
Lecture Notes in Computer Science > Fundamentals of Software Engineering > Session 2. Regular Papers > 113-128
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 267-281
Lecture Notes in Computer Science > SOFSEM 2009: Theory and Practice of Computer Science > Regular Papers > 167-180
Lecture Notes in Computer Science > Formal Methods for Components and Objects > Algebraic Methods > 195-218
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Talks > 148-163