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


Show entries of:

this year (2018) | last year (2017) | two years ago (2016) | 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 04:21:21 PM
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