Panizo, Laura
149  Ergebnisse:
Personensuche X
?
9

The Role of Abstraction in Model Checking:

, In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems; Lecture Notes in Computer Science,
 
1-15