Personensuche
X
?
Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science ,
1
AuDaLa is Turing Complete:
, In:
?
Theoretical Aspects of Computing – ICTAC 2023; Lecture Notes in Computer Science ,
2
Simplifying Process Parameters by Unfolding Algebraic Data ..:
, In:
?
Theoretical Aspects of Computing – ICTAC 2023; Lecture Notes in Computer Science ,
3
An Autonomous Data Language:
, In:
?
Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science ,
4
Compositional Automata Learning of Synchronous Systems:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
9
Partial-Order Reduction for Parity Games with an Applicatio..:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
10
The Inconsistent Labelling Problem of Stutter-Preserving Pa..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
11
The mCRL2 Toolset for Analysing Concurrent Systems: Improve..:
, In:
?
Fundamentals of Software Engineering; Lecture Notes in Computer Science ,
12
Verifying System-Wide Properties of Industrial Component-Ba..:
, In:
?
Fundamentals of Software Engineering; Lecture Notes in Computer Science ,
13
Correction to: Verifying System-Wide Properties of Industri..:
, In:
?
Formal Aspects of Component Software; Lecture Notes in Computer Science ,
14