Personensuche
X
?
Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science ,
9
Implementing a CTL Model Checker with $$\mu \mathcal {G}$$,..:
, In:
?
Artificial General Intelligence; Lecture Notes in Computer Science ,
14