Search results
Lecture Notes in Computer Science > Principles of Distributed Systems > Brief Announcements II > 135-138
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Talks > 553-567
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 361-385
Lecture Notes in Computer Science > Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency > 201-284
Software & Systems Modeling > 2017 > 16 > 4 > 1083-1115
International Journal on Software Tools for Technology Transfer > 2015 > 17 > 2 > 223-243
Formal Methods in System Design > 1998 > 12 > 1 > 73-115