![]() |
Volumn , Issue , 1997, Pages 388-393
|
Reachability analysis using partitioned-ROBDDs
a
|
Author keywords
[No Author keywords available]
|
Indexed keywords
ALGORITHMS;
BOOLEAN FUNCTIONS;
DECISION TABLES;
FINITE AUTOMATA;
STATE SPACE METHODS;
STORAGE ALLOCATION (COMPUTER);
REDUCED ORDERED BINARY DECISION DIAGRAMS (ROBDD);
SEQUENTIAL MACHINES;
|
EID: 0031338901
PISSN: 10923152
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1109/iccad.1997.643565 Document Type: Conference Paper |
Times cited : (65)
|
References (33)
|