Showing 1 - 3 results of 3 for search 'Wehrheim, H', query time: 0.02s
Refine Results
-
1
SLAB: A Certifying Model Checker for Infinite−State Concurrent Systems by Dräger, K, Kupriyanov, A, Finkbeiner, B, Wehrheim, H
Published 2010Conference item -
2
Slicing Abstractions by Brückner, I, Dräger, K, Finkbeiner, B, Wehrheim, H
Published 2007Conference item -
3
Slicing Abstractions by Brückner, I, Dräger, K, Finkbeiner, B, Wehrheim, H
Published 2008Journal article