Using MTBDDs for discrete timed symbolic model checking

Proceedings of European Design and Test Conference

Volumn , Issue , 1997, Pages 182-187

  Kropf, Thomas ^a   Ruf, Juergen ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BINARY SEQUENCES; BOOLEAN FUNCTIONS; DATA STRUCTURES; DECISION TABLES; LOGIC DESIGN; REAL TIME SYSTEMS; VECTORS;

MULTITERMINAL BINARY DECISION DIAGRAMS (MTBDD);

LOGIC CIRCUITS;

EID: 0030651673     PISSN: 10661409     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)