@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},
}