Publications: Proceedings: "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"

Proceedings Volume
@Proceedings
Tagungsband, Workshopband

Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | Notes URL

Action:

Options:

Goto entry point

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

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

Attachment Section