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 (Redacteur), H. Hermanns (Redacteur), J.P. Katoen (Redacteur)

Onderzoeksoutput: Boek/rapport › Boekredactie › Professioneel

Originele taal-2	Engels
Plaats van productie	Berlin
Uitgeverij	Springer
Aantal pagina's	429
ISBN van geprinte versie	3-540-42479-2
DOI's	https://doi.org/10.1007/3-540-44667-2
Status	Gepubliceerd - 2001

Publicatie series

Naam	Lecture notes in computer science
Volume	2090
ISSN van geprinte versie	0302-9743

Toegang tot document

10.1007/3-540-44667-2

Andere bestanden en links

full text

Citeer dit

@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",

}

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. (Redacteur); Hermanns, H. (Redacteur); Katoen, J.P. (Redacteur).
Berlin: Springer, 2001. 429 blz. (Lecture notes in computer science; Vol. 2090).

Onderzoeksoutput: Boek/rapport › Boekredactie › Professioneel

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 -