Lectures on formal methods and performance analysis : first EEF/Euro summer school on Trends in computer science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures

E. Brinksma; H. Hermanns; J.P. Katoen

doi:10.1007/3-540-44667-2

Lectures on formal methods and performance analysis : first EEF/Euro summer school on Trends in computer science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures

E. Brinksma (Editor), H. Hermanns (Editor), J.P. Katoen (Editor)

Research output: Book/Report › Book editing › Professional

Original language	English
Place of Publication	Berlin
Publisher	Springer
Number of pages	429
ISBN (Print)	3-540-42479-2
DOIs	https://doi.org/10.1007/3-540-44667-2
Publication status	Published - 2001

Publication series

Name	Lecture notes in computer science
Volume	2090
ISSN (Print)	0302-9743

Name	EEF/Euro summer school on trends in computer science
Volume	1

Access to Document

10.1007/3-540-44667-2

Cite this

Brinksma, E., Hermanns, H., & Katoen, J. P. (Eds.) (2001). Lectures on formal methods and performance analysis : first EEF/Euro summer school on Trends in computer science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures. (Lecture notes in computer science; Vol. 2090), (EEF/Euro summer school on trends in computer science; Vol. 1). Springer. https://doi.org/10.1007/3-540-44667-2

Brinksma, E. (Editor) ; Hermanns, H. (Editor) ; Katoen, J.P. (Editor). / Lectures on formal methods and performance analysis : first EEF/Euro summer school on Trends in computer science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures. Berlin : Springer, 2001. 429 p. (Lecture notes in computer science). (EEF/Euro summer school on trends in computer science).

@book{a53f88bc01ba4d2d955f8158cf193f4c,

title = "Lectures on formal methods and performance analysis : first EEF/Euro summer school on Trends in computer science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures",

editor = "E. Brinksma and H. Hermanns and J.P. Katoen",

year = "2001",

doi = "10.1007/3-540-44667-2",

language = "English",

isbn = "3-540-42479-2",

series = "Lecture notes in computer science",

publisher = "Springer",

address = "Germany",

}

Brinksma, E, Hermanns, H & Katoen, JP (eds) 2001, Lectures on formal methods and performance analysis : first EEF/Euro summer school on Trends in computer science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures. Lecture notes in computer science, vol. 2090, EEF/Euro summer school on trends in computer science, vol. 1, Springer, Berlin. https://doi.org/10.1007/3-540-44667-2

Lectures on formal methods and performance analysis : first EEF/Euro summer school on Trends in computer science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures. / Brinksma, E. (Editor); Hermanns, H. (Editor); Katoen, J.P. (Editor).

Berlin : Springer, 2001. 429 p. (Lecture notes in computer science; Vol. 2090), (EEF/Euro summer school on trends in computer science; Vol. 1).

Research output: Book/Report › Book editing › Professional

TY - BOOK

T1 - Lectures on formal methods and performance analysis : first EEF/Euro summer school on Trends in computer science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures

A2 - Brinksma, E.

A2 - Hermanns, H.

A2 - Katoen, J.P.

PY - 2001

Y1 - 2001

UR - http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-44667-5

U2 - 10.1007/3-540-44667-2

DO - 10.1007/3-540-44667-2

M3 - Book editing

SN - 3-540-42479-2

T3 - Lecture notes in computer science

BT - Lectures on formal methods and performance analysis : first EEF/Euro summer school on Trends in computer science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures

PB - Springer

CY - Berlin

ER -

Brinksma E, (ed.), Hermanns H, (ed.), Katoen JP, (ed.). Lectures on formal methods and performance analysis : first EEF/Euro summer school on Trends in computer science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures. Berlin: Springer, 2001. 429 p. (Lecture notes in computer science). (EEF/Euro summer school on trends in computer science). doi: 10.1007/3-540-44667-2

Lectures on formal methods and performance analysis : first EEF/Euro summer school on Trends in computer science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures

Publication series

Access to Document

Other files and links

Cite this