Proceedings Volume
@Proceedings
Tagungsband, Workshopband


Show entries of:

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

Action:

login to update

Options:








Author, Editor

Editor(s):

Jensen, Kurt
Podelski, Andreas

dblp
dblp

Not MPII Editor(s):

Jensen, Kurt

BibTeX citekey*:

JensenPodelski2004

Language:

English

Title, Conference

Title*:

Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004



Event Address*:

Barcelona, Spain

Conference URL:

http://www.daimi.au.dk/%7Ecpn/tacas04/

Event Start Date:

29 March 2004

Event End Date:

2 April 2004
04/02/2004

Event Date*
(no longer used):

March 29 - April 2, 2004

Organization:


Publisher

Name*:

Springer

Publisher's URL:






Address*:

Berlin

Publishing Year*:

2004

Vol, No, pp., Year

Series:

Lecture Notes in Computer Science

Volume:

2988

Number:


Month:


Pages*:

XIV, 608

ISBN:

3-540-21299

VG Wort Pages:

606

ISSN:




Abstract, Links, ©

Note:


LaTeX Abstract:


Categories / Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


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:

@PROCEEDINGS{JensenPodelski2004,
EDITOR = {Jensen, Kurt and Podelski, Andreas},
TITLE = {Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004},
PUBLISHER = {Springer},
YEAR = {2004},
VOLUME = {2988},
PAGES = {XIV, 608},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Barcelona, Spain},
ISBN = {3-540-21299},
}


Entry last modified by Anja Becker, 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
01/12/2005 01:33:43 PM
Revisions
3.
2.
1.
0.
Editor(s)
Anja Becker
Anja Becker
Anja Becker
Andreas Podelski
Edit Dates
02.02.2005 14:29:49
02.02.2005 14:28:31
02.02.2005 14:28:07
01/12/2005 01:33:43 PM
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section