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):
BibTeX cite key*:
PR04:TransInv
Title, Booktitle
Title*:
Transition Invariants
Booktitle*:
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, LICS 2004
Event, URLs
Conference URL::
http://homepages.inf.ed.ac.uk/als/lics/lics04/
Downloading URL:
Event Address*:
Turku, Finland
Language:
English
Event Date*
(no longer used):
Organization:
IEEE Computer Society
Event Start Date:
13 July 2004
Event End Date:
17 July 2004
Publisher
Name*:
IEEE
URL:
http://www.computer.org/
Address*:
Los Alamitos, USA
Type:
Vol, No, Year, pp.
Series:
Volume:
Number:
Month:
July
Pages:
32-41
Year*:
2004
VG Wort Pages:
ISBN/ISSN:
0-7695-2192-4
Sequence Number:
DOI:
Note, Abstract, ©
Keywords:
Verification, Liveness
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:TransInv,
AUTHOR = {Podelski, Andreas and Rybalchenko, Andrey},
 TITLE = {Transition Invariants},
 BOOKTITLE = {Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, LICS 2004},
 PUBLISHER = {IEEE},
 YEAR = {2004},
 ORGANIZATION = {IEEE Computer Society},
 PAGES = {32--41},
 ADDRESS = {Turku, Finland},
 MONTH = {July},
 ISBN = {0-7695-2192-4},
}

Entry last modified by Anja Becker, 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:07:36 PM
Revisions
2.
1.
0.

Editor(s)
Anja Becker
Andrey Rybalchenko
Andrey Rybalchenko

Edit Dates
02.02.2005 14:33:12
01/20/2005 02:08:08 PM
01/20/2005 02:07:36 PM