The Succinct Solver Suite

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24730-2_21 ◽

2004 ◽

pp. 251-265 ◽

Author(s):

Flemming Nielson ◽

Hanne Riis Nielson ◽

Hongyan Sun ◽

Mikael Buchholtz ◽

René Rydhof Hansen ◽

...

Download Full-text