@inproceedings{Kup2006,
Author = {Kupferschmid, S. and Hoffmann, J. and Dierks, H. and Behrmann, G.},
Title = {Adapting an AI Planning Heuristic for Directed Model Checking},

Year = {2006},
Pages = {35-52},
Month = {01},
Editor = {Springer-Verlag},
Publisher = {Springer-Verlag},
Series = {Lecture Notes in Computer Science 3925},
Address = {Berlin, Heidelberg},
Isbn = {1},
Booktitle = {13th International SPIN Workshop on Model Checking of Software},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }