Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

H. Hermanns; Jens Palsberg

doi:10.1007/11691372

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

H. Hermanns (Editor), Jens Palsberg (Editor)

Research output: Book/Report › Book editing › Academic

Original language	English
Place of Publication	Berlin
Publisher	Springer
Number of pages	503
ISBN (Print)	3-540-33056-9
DOIs	https://doi.org/10.1007/11691372
Publication status	Published - Mar 2006

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
No.	IEEE Produ/3920
Volume	3920
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Keywords

EWI-9365
METIS-238782

Access to Document

10.1007/11691372

Cite this

Hermanns, H., & Palsberg, J. (Eds.) (2006). Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings. (Lecture Notes in Computer Science; Vol. 3920, No. IEEE Produ/3920). Springer. https://doi.org/10.1007/11691372

Hermanns, H. (Editor) ; Palsberg, Jens (Editor). / Tools and Algorithms for the Construction and Analysis of Systems : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings. Berlin : Springer, 2006. 503 p. (Lecture Notes in Computer Science; IEEE Produ/3920).

@book{73365b83b19b4f7cb2ada405c41e7d00,

title = "Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings",

keywords = "EWI-9365, METIS-238782",

editor = "H. Hermanns and Jens Palsberg",

note = "10.1007/11691372 ",

year = "2006",

month = mar,

doi = "10.1007/11691372",

language = "English",

isbn = "3-540-33056-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "IEEE Produ/3920",

address = "Germany",

}

Hermanns, H & Palsberg, J (eds) 2006, Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings. Lecture Notes in Computer Science, no. IEEE Produ/3920, vol. 3920, Springer, Berlin. https://doi.org/10.1007/11691372

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings. / Hermanns, H. (Editor); Palsberg, Jens (Editor).
Berlin: Springer, 2006. 503 p. (Lecture Notes in Computer Science; Vol. 3920, No. IEEE Produ/3920).

Research output: Book/Report › Book editing › Academic

TY - BOOK

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

T2 - 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

A2 - Hermanns, H.

A2 - Palsberg, Jens

N1 - 10.1007/11691372

PY - 2006/3

Y1 - 2006/3

KW - EWI-9365

KW - METIS-238782

U2 - 10.1007/11691372

DO - 10.1007/11691372

M3 - Book editing

SN - 3-540-33056-9

T3 - Lecture Notes in Computer Science

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

PB - Springer

CY - Berlin

ER -

Hermanns H, (ed.), Palsberg J, (ed.). Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings. Berlin: Springer, 2006. 503 p. (Lecture Notes in Computer Science; IEEE Produ/3920). doi: 10.1007/11691372