Special section on: Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2004: Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Part of ETAPS 2004

Kurt Jensen; Andreas Podelski

doi:10.1016/j.tcs.2005.07.034

Special section on: Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2004: Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Part of ETAPS 2004

Kurt Jensen (Editor), Andreas Podelski (Editor)

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Editorial

Original language	English
Journal	Theoretical Computer Science
Volume	345
Issue	1
Pages (from-to)	1-170
Number of pages	170
ISSN	0304-3975
DOIs	https://doi.org/10.1016/j.tcs.2005.07.034
Publication status	Published - 2005

Access to Document

10.1016/j.tcs.2005.07.034

Cite this

@article{0646ad10b02311dabee902004c4f4f50,

title = "Special section on: Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2004: Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Part of ETAPS 2004",

author = "Kurt Jensen and Andreas Podelski",

year = "2005",

doi = "10.1016/j.tcs.2005.07.034",

language = "English",

volume = "345",

pages = "1--170",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier BV",

number = "1",

}

Special section on: Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2004: Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Part of ETAPS 2004. / Jensen, Kurt (Editor); Podelski, Andreas (Editor).
In: Theoretical Computer Science, Vol. 345, No. 1, 2005, p. 1-170.

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Editorial

TY - JOUR

T1 - Special section on: Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2004

T2 - Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Part of ETAPS 2004

A2 - Jensen, Kurt

A2 - Podelski, Andreas

PY - 2005

Y1 - 2005

U2 - 10.1016/j.tcs.2005.07.034

DO - 10.1016/j.tcs.2005.07.034

M3 - Editorial

SN - 0304-3975

VL - 345

SP - 1

EP - 170

JO - Theoretical Computer Science

JF - Theoretical Computer Science

IS - 1

ER -