Showing 1 - 8 results of 8 for search 'Finkbeiner, B', query time: 0.27s
Refine Results
-
1
-
2
-
3
Directed Model Checking with Distance−Preserving Abstractions by Dräger, K, Finkbeiner, B, Podelski, A
Published 2006Conference item -
4
Directed model checking with distance−preserving abstractions by Dräger, K, Finkbeiner, B, Podelski, A
Published 2009Journal article -
5
SLAB: A Certifying Model Checker for Infinite−State Concurrent Systems by Dräger, K, Kupriyanov, A, Finkbeiner, B, Wehrheim, H
Published 2010Conference item -
6
Slicing Abstractions by Brückner, I, Dräger, K, Finkbeiner, B, Wehrheim, H
Published 2007Conference item -
7
Slicing Abstractions by Brückner, I, Dräger, K, Finkbeiner, B, Wehrheim, H
Published 2008Journal article -
8
Uppaal/DMC – Abstraction−based Heuristics for Directed Model Checking by Kupferschmid, S, Dräger, K, Hoffmann, J, Finkbeiner, B, Dierks, H, Podelski, A, Behrmann, G
Published 2007Conference item