DBLP Record 'conf/tacas/NielsonNSBHPS04'

BibTeX

@inproceedings{DBLP:conf/tacas/NielsonNSBHPS04,
  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 Succinct Solver Suite},
  booktitle = {TACAS},
  year      = {2004},
  pages     = {251-265},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2988{\&}spage=251},
  crossref  = {DBLP:conf/tacas/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/tacas/2004,
  editor    = {Kurt Jensen and
               Andreas Podelski},
  title     = {Tools and Algorithms for the Construction and Analysis of
               Systems, 10th International Conference, TACAS 2004, Held
               as Part of the Joint European Conferences on Theory and
               Practice of Software, ETAPS 2004, Barcelona, Spain, March
               29 - April 2, 2004, Proceedings},
  booktitle = {TACAS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2988},
  year      = {2004},
  isbn      = {3-540-21299-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}