Personensuche
X
?
Software Engineering and Formal Methods; Lecture Notes in Computer Science ,
9
From SOS to Asynchronously Communicating Actors:
, In:
?
Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science ,
10
Implementing SOS with Active Objects: A Case Study of a Mul..:
, In:
?
Lecture Notes in Computer Science; Deductive Software Verification: Future Perspectives ,
15