Search for persons
X
?
Theoretical Aspects of Computing – ICTAC 2023; Lecture Notes in Computer Science ,
3
An Autonomous Data Language:
, In:
?
Formal Methods; Lecture Notes in Computer Science ,
4
Minimisation of Spatial Models Using Branching Bisimilarity:
, In:
?
Lecture Notes in Computer Science; A Journey from Process Algebra via Timed Automata to Model Learning ,
5
Using the Parallel ATerm Library for Parallel Model Checkin..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science ,
6
A Thread-Safe Term Library: (with a New Fast Mutual Exclusi..:
, In:
?
Formal Aspects of Component Software; Lecture Notes in Computer Science ,
7
Modelling and Analysing Software in mCRL2:
, In:
?
From Software Engineering to Formal Methods and Tools, and Back; Lecture Notes in Computer Science ,
8
An Axiomatization of Strong Distribution Bisimulation for a..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
9
The mCRL2 Toolset for Analysing Concurrent Systems: Improve..:
, In:
?
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy; Lecture Notes in Computer Science ,
10
A Complete Axiomatization of Branching Bisimilarity for a S..:
, In:
?
Methods of Biochemical Analysis ,
11