Number of items: 1.
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.
This list was generated on Mon Dec 11 09:57:40 2023 CET.