Search results for: Knut Eilif Husa
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Logic and Specification > 32-48
Lecture Notes in Computer Science > Scenarios: Models, Transformations and Tools > Scenarios: Models, Transformations and Tools > 1-25
Journal of Trust Management > 2015 > 2 > 1 > 1-28
Software & Systems Modeling > 2005 > 4 > 4 > 355-357