Showing 1 - 2 results of 2 for search 'Dierks, H', query time: 0.02s
Refine Results
-
1
-
2
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