Search for persons
X
?
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
14
A Monitoring Tool for Linear-Time $$\mu $$HML:
, In:
?
Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science ,
15