Generating Compact MTBDD-Representations from Probmela Specifications

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-540-85114-1_7 ◽

2008 ◽

pp. 60-76 ◽

Cited By ~ 4

Author(s):

Frank Ciesinski ◽

Christel Baier ◽

Marcus Größer ◽

David Parker

Download Full-text