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,Barcelona, Spain, March 29 - April 2, 2004 : proceedings

Kurt Jensen; Andreas Podelski

doi:10.1007/b96393

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,Barcelona, Spain, March 29 - April 2, 2004 : proceedings

Kurt Jensen (Editor), Andreas Podelski (Editor)

Research output: Book/anthology/dissertation/report › Anthology › Research

Abstract

This book constitutes the refereed proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004, held in Barcelona, Spain in March/April 2004. The 37 revised full papers and 6 revised tool demonstration papers presented were carefully reviewed and selected from a total of 162 submissions. The papers are organized in topical sections on theorem proving, probabilistic model checking, testing, tools, explicit state and Petri nets, scheduling, constraint solving, timed systems, case studies, software, temporal logic, abstraction, and automata techniques.

Original language	English

Place of publication	Berlin
Publisher	Springer
Number of pages	608
ISBN (Print)	978-3-540-21299-7, 3-540-21299-X
DOIs	https://doi.org/10.1007/b96393
Publication status	Published - 2004

Series	Lecture Notes in Computer Science
Volume	2988
ISSN	0302-9743

Access to Document

10.1007/b96393

Fingerprint

Dive into the research topics of '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,Barcelona, Spain, March 29 - April 2, 2004 : proceedings'. Together they form a unique fingerprint.

Cite this

Jensen, K., & Podelski, A. (Eds.) (2004). 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,Barcelona, Spain, March 29 - April 2, 2004 : proceedings. Springer. Lecture Notes in Computer Science Vol. 2988 https://doi.org/10.1007/b96393

Jensen, Kurt (Editor) ; Podelski, Andreas (Editor). / 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,Barcelona, Spain, March 29 - April 2, 2004 : proceedings. Berlin : Springer, 2004. 608 p. (Lecture Notes in Computer Science, Vol. 2988).

@book{1af7b8e0975c11dcbee902004c4f4f50,

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,Barcelona, Spain, March 29 - April 2, 2004 : proceedings",

abstract = "This book constitutes the refereed proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004, held in Barcelona, Spain in March/April 2004. The 37 revised full papers and 6 revised tool demonstration papers presented were carefully reviewed and selected from a total of 162 submissions. The papers are organized in topical sections on theorem proving, probabilistic model checking, testing, tools, explicit state and Petri nets, scheduling, constraint solving, timed systems, case studies, software, temporal logic, abstraction, and automata techniques.",

editor = "Kurt Jensen and Andreas Podelski",

year = "2004",

doi = "10.1007/b96393",

language = "English",

isbn = "978-3-540-21299-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

address = "Netherlands",

}

Jensen, K & Podelski, A (eds) 2004, 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,Barcelona, Spain, March 29 - April 2, 2004 : proceedings. Lecture Notes in Computer Science, vol. 2988, Springer, Berlin. https://doi.org/10.1007/b96393

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,Barcelona, Spain, March 29 - April 2, 2004 : proceedings. / Jensen, Kurt (Editor); Podelski, Andreas (Editor).
Berlin: Springer, 2004. 608 p. (Lecture Notes in Computer Science, Vol. 2988).

Research output: Book/anthology/dissertation/report › Anthology › Research

TY - BOOK

T1 - Tools and Algorithms for the Construction and Analysis of Systems

T2 - 10th International Conference, TACAS 2004, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004,Barcelona, Spain, March 29 - April 2, 2004 : proceedings

A2 - Jensen, Kurt

A2 - Podelski, Andreas

PY - 2004

Y1 - 2004

N2 - This book constitutes the refereed proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004, held in Barcelona, Spain in March/April 2004. The 37 revised full papers and 6 revised tool demonstration papers presented were carefully reviewed and selected from a total of 162 submissions. The papers are organized in topical sections on theorem proving, probabilistic model checking, testing, tools, explicit state and Petri nets, scheduling, constraint solving, timed systems, case studies, software, temporal logic, abstraction, and automata techniques.

AB - This book constitutes the refereed proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004, held in Barcelona, Spain in March/April 2004. The 37 revised full papers and 6 revised tool demonstration papers presented were carefully reviewed and selected from a total of 162 submissions. The papers are organized in topical sections on theorem proving, probabilistic model checking, testing, tools, explicit state and Petri nets, scheduling, constraint solving, timed systems, case studies, software, temporal logic, abstraction, and automata techniques.

U2 - 10.1007/b96393

DO - 10.1007/b96393

M3 - Anthology

SN - 978-3-540-21299-7

SN - 3-540-21299-X

T3 - Lecture Notes in Computer Science

BT - Tools and Algorithms for the Construction and Analysis of Systems

PB - Springer

CY - Berlin

ER -

Jensen K, (ed.), Podelski A, (ed.). 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,Barcelona, Spain, March 29 - April 2, 2004 : proceedings. Berlin: Springer, 2004. 608 p. (Lecture Notes in Computer Science, Vol. 2988). doi: 10.1007/b96393