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


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:









Author, Editor

Author(s):

Podelski, Andreas
Rybalchenko, Andrey
Cook, Byron

dblp
dblp
dblp

Not MPG Author(s):

Cook, Byron

BibTeX citekey*:

CPR05:Terminator

Title, Booktitle

Title*:

Counterexample-Guided Abstraction Refinement for Termination

Vol, No, pp., Year

Month:

January

Year:

2005

Language:

English

Pages:

16

Abstract, Links, ©

Note:


LaTeX Abstract:


Categories / Keywords:


HyperLinks / References / URLs:


Personal Comments:


File Upload:




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:
@UNPUBLISHED{CPR05:Terminator,
AUTHOR = {Podelski, Andreas and Rybalchenko, Andrey and Cook, Byron},
TITLE = {Counterexample-Guided Abstraction Refinement for Termination},
YEAR = {2005},
PAGES = {16},
MONTH = {January},
}


Entry last modified by Christine Kiesel, 01/28/2008
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)
Andreas Podelski
Created
03/11/2005 10:41:52 AM
Revisions
3.
2.
1.
0.
Editor(s)
Christine Kiesel
Andrey Rybalchenko
Andreas Podelski
Andreas Podelski
Edit Dates
19.06.2006 09:40:21
03/23/2005 08:05:42 PM
03/11/2005 10:43:16 AM
03/11/2005 10:41:52 AM
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section