MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Podelski, Andreas
Rybalchenko, Andrey		dblp
dblp
Editor(s):
Levi, Giorgio
Steffen, Bernhard		dblp
dblp
Not MPII Editor(s):
Levi, Giorgio
Steffen, Bernhard
BibTeX cite key*:
PR04:LinearRanking
Title, Booktitle
Title*:
A Complete Method for the Synthesis of Linear Ranking Functions
Booktitle*:
Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004
Event, URLs
Conference URL::
http://www.dsi.unive.it/~vmcai04/
Downloading URL:
Event Address*:
Venice, Italy
Language:
English
Event Date*
(no longer used):
Organization:
EAPLS
Event Start Date:
11 January 2004
Event End Date:
13 January 2004
Publisher
Name*:
Springer
URL:
http://www.springeronline.com/
Address*:
Berlin, Germany
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Computer Science
Volume:
2937
Number:
Month:
Pages:
239-251
Year*:
2004
VG Wort Pages:
ISBN/ISSN:
3-540-20803-8
Sequence Number:
DOI:
Note, Abstract, ©
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{PR04:LinearRanking,
AUTHOR = {Podelski, Andreas and Rybalchenko, Andrey},
 EDITOR = {Levi, Giorgio and Steffen, Bernhard},
 TITLE = {A Complete Method for the Synthesis of Linear Ranking Functions},
 BOOKTITLE = {Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004},
 PUBLISHER = {Springer},
 YEAR = {2004},
 ORGANIZATION = {EAPLS},
 VOLUME = {2937},
 PAGES = {239--251},
 SERIES = {Lecture Notes in Computer Science},
 ADDRESS = {Venice, Italy},
 ISBN = {3-540-20803-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)
Andrey Rybalchenko		Created
01/20/2005 02:17:07 PM
Revisions
4.
3.
2.
1.
0.		Editor(s)
Christine Kiesel
Andreas Podelski
Anja Becker
Andrey Rybalchenko
Andrey Rybalchenko		Edit Dates
17.06.2005 16:08:30
05/13/2005 08:07:46 PM
02.02.2005 14:17:59
01/20/2005 02:17:36 PM
01/20/2005 02:17:07 PM