Search for persons
X
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
11
NORMA: a tool for the analysis of Relay-based Railway Inter..:
, In:
?
Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection; Lecture Notes in Computer Science ,
15