Number of items: 2.
Conference or Workshop Item (A Paper)
Kupferschmid, Sebastian and Drager, Klaus and Hoffmann, Jörg and Finkbeiner, Bernd and Dierks, Henning and Podelski, Andreas and Behrmann, Gerd
(2007)
Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking.
Kupferschmid, Sebastian and Hoffmann, Jörg and Dierks, Henning and Behrmann, Gerd
(2006)
Adapting an AI Planning Heuristic for Directed Model Checking.
This list was generated on Sat Dec 21 06:54:47 2024 CET.