Unpublished, Draft, To Appear
@UnPublished
Unveröffentlicht, Entwurf


Show entries of:

this year (2023) | last year (2022) | two years ago (2021) | Notes URL

Action:

login to update
Options:









Author, Editor
Author(s):
Alkassar, Eyad
Böhme, Sascha
Mehlhorn, Kurt
Rizkallah, Christine		dblp
dblp
dblp
dblp
Not MPG Author(s):
Alkassar, Eyad
Böhme, Sascha

BibTeX citekey*:

VerificationCertComp12

Title, Booktitle

Title*:

A Framework for the Verification of Certifying Computations

Vol, No, pp., Year

Month:


Year:

2013

Language:

English
Pages:


Abstract, Links, ©

Note:

A preliminary version appeared under the title ``Verification of Certifying Computations''
in CAV 2011, LCNS Vol 6806, pages 67 -- 82. The full paper is under review at the Journal of Automated Reasoning. It is available at \url{http://www.mpi-inf.mpg.de/\~mehlhorn/ftp/FrameworkCertifyingComputations.pdf}

LaTeX Abstract:


Categories / Keywords:


HyperLinks / References / URLs:


Personal Comments:


File Upload:




Download
Access Level:

Internal

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

BibTeX Entry:
@UNPUBLISHED{VerificationCertComp12,
AUTHOR = {Alkassar, Eyad and B{\"o}hme, Sascha and Mehlhorn, Kurt and Rizkallah, Christine},
 TITLE = {A Framework for the Verification of Certifying Computations},
 YEAR = {2013},
 NOTE = {A preliminary version appeared under the title ``Verification of Certifying Computations''
in CAV 2011, LCNS Vol 6806, pages 67 -- 82. The full paper is under review at the Journal of Automated Reasoning. It is available at \url{http://www.mpi-inf.mpg.de/\~mehlhorn/ftp/FrameworkCertifyingComputations.pdf}},
}

Entry last modified by Stephanie Müller, 02/04/2013
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
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)
Christine Rizkallah		Created
01/07/2013 16:21:21
Revisions
4.
3.
2.
1.
0.		Editor(s)
Stephanie Müller
Christine Rizkallah
Christine Rizkallah
Christine Rizkallah
Christine Rizkallah		Edit Dates
04.02.2013 12:39:13
01/31/2013 02:03:17 PM
01/31/2013 01:38:31 PM
01/31/2013 01:36:45 PM
01/07/2013 04:21:21 PM