Adapting an AI Planning Heuristic for Directed Model Checking
Kupferschmid, S. and Hoffmann, J. and Dierks, H. and Behrmann, G.
13th International SPIN Workshop on Model Checking of Software
01 / 2006
1
inproceedings
Springer-Verlag
Lecture Notes in Computer Science 3925
35-52
Springer-Verlag
