MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Ganzinger, Harald
Hagen, George
Nieuwenhuis, Robert
Oliveras, Albert
Tinelli, Cesare		dblp
dblp
dblp
dblp
dblp
Not MPG Author(s):
Hagen, George
Nieuwenhuis, Robert
Oliveras, Albert
Tinelli, Cesare
Editor(s):
Alur, Rajeev
Peled, Doron		dblp
dblp
Not MPII Editor(s):
Alur, Rajeev
Peled, Doron
BibTeX cite key*:
GanHNOT-CAV-04
Title, Booktitle
Title*:
DPLL(T): Fast Decision Procedures
Booktitle*:
Computer aided verification : 16th International Conference, CAV 2004
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Boston, Massachusetts
Language:
English
Event Date*
(no longer used):
Organization:
Event Start Date:
13 June 2004
Event End Date:
17 June 2004
Publisher
Name*:
Springer
URL:
Address*:
Berlin, Germany
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Computer Science
Volume:
3114
Number:
Month:
Pages:
175-188
Year*:
2004
VG Wort Pages:
ISBN/ISSN:
3-540-22342-8
Sequence Number:
DOI:
Note, Abstract, ©
URL for the Abstract:
http://www.cs.uiowa.edu/~tinelli/html/abstracts.html#GanHNOT-CAV-04
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography, VG Wort



BibTeX Entry:
@INPROCEEDINGS{GanHNOT-CAV-04,
AUTHOR = {Ganzinger, Harald and Hagen, George and Nieuwenhuis, Robert and Oliveras, Albert and Tinelli, Cesare},
 EDITOR = {Alur, Rajeev and Peled, Doron},
 TITLE = {{DPLL(T)}: Fast Decision Procedures},
 BOOKTITLE = {Computer aided verification : 16th International Conference, CAV 2004},
 PUBLISHER = {Springer},
 YEAR = {2004},
 VOLUME = {3114},
 PAGES = {175--188},
 SERIES = {Lecture Notes in Computer Science},
 ADDRESS = {Boston, Massachusetts},
 ISBN = {3-540-22342-8},
}

Entry last modified by Christine Kiesel, 01/28/2008
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Viorica Sofronie-Stokkermans		Created
06/23/2004 02:08:09 PM
Revisions
8.
7.
6.
5.
4.		Editor(s)
Christine Kiesel
Uwe Waldmann
Anja Becker
Anja Becker
Anja Becker		Edit Dates
27.04.2005 10:55:57
03/23/2005 10:01:40 PM
02.02.2005 13:28:07
02.02.2005 12:27:30
01/12/2005 09:12:05 PM