Journal article icon

Journal article

Directed model checking with distance−preserving abstractions

Actions


Access Document


Publisher copy:
10.1007/s10009-008-0092-z

Authors


Klaus Dräger More by this author
Bernd Finkbeiner More by this author
Andreas Podelski More by this author
Journal:
International Journal on Software Tools for Technology Transfer
Volume:
11
Pages:
27-37
Publication date:
2009
DOI:
ISSN:
1433-2779
URN:
uuid:e14ed337-f19a-445b-beef-eb26449d01f2
Local pid:
cs:6385

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP