DocumentCode

2214710

Title

Distance driven finite state machine traversal

Author

Hett, Andreas ; Scholl, Christoph ; Becker, Bernd

Author_Institution

Albert-Ludwigs-University

fYear

2000

fDate

2000

Firstpage

39

Lastpage

42

Keywords

Automata; Binary decision diagrams; Computer science; Permission; Reachability analysis; Robustness; State-space methods;

fLanguage

English

Publisher

ieee

Conference_Titel

Design Automation Conference, 2000. Proceedings 2000

Print_ISBN

1-58113-187-9

Type

conf

DOI

10.1109/DAC.2000.855273

Filename

855273