Title :
Distance driven finite state machine traversal
Author :
Hett, Andreas ; Scholl, Christoph ; Becker, Bernd
Author_Institution :
Albert-Ludwigs-University
Keywords :
Automata; Binary decision diagrams; Computer science; Permission; Reachability analysis; Robustness; State-space methods;
Conference_Titel :
Design Automation Conference, 2000. Proceedings 2000
Print_ISBN :
1-58113-187-9
DOI :
10.1109/DAC.2000.855273
