Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

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

Action:

login to update

Options:








Author, Editor

Author(s):

Rybalchenko, Andrey

dblp

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

URL of the conference:

http://www2.imm.dtu.dk/sas2007/

URL for downloading the paper:


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
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)
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


Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section