@inproceedings{Nielson04Succinct, author = {Flemming Nielson and Hanne Riis Nielson and Hongyan Sun and Mikael Buchholtz and Ren\'e Rydhof Hansen and Henrik Pilegaard and Helmut Seidl}, title = {The {S}uccinct {S}olver {S}uite}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems}, editor = {Kurt Jensen and Andreas Podelski}, month = {April}, year = 2004, pages = {251-265}, series = {Lecture Notes in Computer Science}, volume = {2988}, publisher = {Springer}, address = {Barcelona, Spain}, }