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


Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | 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