Inproceedings,
The Succinct Solver Suite.
F. Nielson, H. Nielson, H. Sun, M. Buchholtz, R. Hansen, H. Pilegaard, and H. Seidl.TACAS, volume 2988 of Lecture Notes in Computer Science, page 251-265. Springer, (2004)
Meta data
- BibTeX key
- conf/tacas/NielsonNSBHPS04
- entry type
- inproceedings
- booktitle
- TACAS
- year
- 2004
- pages
- 251-265
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 2988
- crossref
- conf/tacas/2004
- ee
- https://doi.org/10.1007/978-3-540-24730-2_21
- isbn
- 3-540-21299-X
- url
- http://dblp.uni-trier.de/db/conf/tacas/tacas2004.html#NielsonNSBHPS04
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/tacas/NielsonNSBHPS04
%A Nielson, Flemming
%A Nielson, Hanne Riis
%A Sun, Hongyan
%A Buchholtz, Mikael
%A Hansen, René Rydhof
%A Pilegaard, Henrik
%A Seidl, Helmut
%B TACAS
%D 2004
%E Jensen, Kurt
%E Podelski, Andreas
%I Springer
%K
%P 251-265
%T The Succinct Solver Suite.
%U http://dblp.uni-trier.de/db/conf/tacas/tacas2004.html#NielsonNSBHPS04
%V 2988
%@ 3-540-21299-X
@inproceedings{conf/tacas/NielsonNSBHPS04,
added-at = {2023-12-12T19:06:36.000+0100},
author = {Nielson, Flemming and Nielson, Hanne Riis and Sun, Hongyan and Buchholtz, Mikael and Hansen, René Rydhof and Pilegaard, Henrik and Seidl, Helmut},
biburl = {https://www.bibsonomy.org/bibtex/29d585861061fc57e8ec525e6fe2fe7ed/admin},
booktitle = {TACAS},
crossref = {conf/tacas/2004},
editor = {Jensen, Kurt and Podelski, Andreas},
ee = {https://doi.org/10.1007/978-3-540-24730-2_21},
interhash = {1be4584866457a8ef17690c63f650dd8},
intrahash = {9d585861061fc57e8ec525e6fe2fe7ed},
isbn = {3-540-21299-X},
keywords = {},
pages = {251-265},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-12T19:06:36.000+0100},
title = {The Succinct Solver Suite.},
url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2004.html#NielsonNSBHPS04},
volume = 2988,
year = 2004
}