Directed model checking with distance−preserving abstractions
Klaus Dräger‚ Bernd Finkbeiner and Andreas Podelski
ISSN
1433−2779
Journal
International Journal on Software Tools for Technology Transfer
Pages
27−37
Publisher
Springer−Verlag
Volume
11
Year
2009