MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Rybalchenko, Andreydblp
Not MPG Author(s):
Malkis, Alexander
Podelski, Andreas
Editor(s):
Not MPII Editor(s):
Filé, Gilberto
Nielson, Hanne Riis
BibTeX cite key*:
MalkisPodelskiRybalchenkoSAS2007
Title, Booktitle
Title*:
Precise Thread-Modular Verification
Booktitle*:
14th International Static Analysis Symposium (SAS 2007)
Event, URLs
Conference URL::
http://www2.imm.dtu.dk/sas2007/
Downloading URL:
Event Address*:
Kongens Lyngby, Denmark
Language:
English
Event Date*
(no longer used):
Organization:
Event Start Date:
8 May 2007
Event End Date:
8 May 2007
Publisher
Name*:
Springer
URL:
Address*:
Heidelberg
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Computer Science
Volume:
?
Number:
Month:
Pages:
?
Year*:
2007
VG Wort Pages:
ISBN/ISSN:
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{MalkisPodelskiRybalchenkoSAS2007,
AUTHOR = {Rybalchenko, Andrey},
 TITLE = {Precise Thread-Modular Verification},
 BOOKTITLE = {14th International Static Analysis Symposium (SAS 2007)},
 PUBLISHER = {Springer},
 YEAR = {2007},
 VOLUME = {?},
 PAGES = {?},
 SERIES = {Lecture Notes in Computer Science},
 ADDRESS = {Kongens Lyngby, Denmark},
}

Entry last modified by Uwe Brahm, 03/03/2009
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
05/08/2007 11:23:47 AM
Revision
1.
0.


Editor
Uwe Brahm
Andrey Rybalchenko


Edit Date
03/03/2009 11:35:35 AM
05/08/2007 11:23:47 AM