Search results for: Markus Weißmann
Lecture Notes in Computer Science > Model Checking Software > Applications of Model Checking > 161-176
Advances in Life Course Research > 2013 > 18 > 3 > 185-198
Lecture Notes in Computer Science > Model Checking Software > Applications of Model Checking > 161-176
Advances in Life Course Research > 2013 > 18 > 3 > 185-198