Uppaal/DMC – Abstraction−based Heuristics for Directed Model Checking

Uppaal/DMC – Abstraction−based Heuristics for Directed Model Checking

Bibliographic Details
Main Authors: Kupferschmid, S, Dräger, K, Hoffmann, J, Finkbeiner, B, Dierks, H, Podelski, A, Behrmann, G
Format: Conference item
Published: Springer−Verlag 2007

Similar Items