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