Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal
PathFinder: A Tool for Design Exploration
CAV, 2002.
@inproceedings{CAV-2002-Ben-DavidGSW,
author = "Shoham Ben-David and Anna Gringauze and Baruch Sterin and Yaron Wolfsthal",
booktitle = "{Proceedings of the 14th International Conference on Computer Aided Verification}",
doi = "10.1007/3-540-45657-0_42",
isbn = "3-540-43997-8",
pages = "510--514",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{PathFinder: A Tool for Design Exploration}",
volume = 2404,
year = 2002,
}
Tags: