Directed model checking with distance-preserving abstractions.

Klaus Dräger Bernd Finkbeiner Andreas Podelski Directed model checking with distance-preserving abstractions. 27-37 2009 11 STTT 1 http://dx.doi.org/10.1007/s10009-008-0092-z db/journals/sttt/sttt11.html#DragerFP09