Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Hendrik Brinksma (Editor), H. Hermanns (Editor), Joost P. Katoen (Editor)

Research output: Book/ReportBook editingAcademic

48 Downloads (Pure)
Original languageEnglish
Place of PublicationBerlin
PublisherSpringer
Number of pages430
ISBN (Electronic)978-3-540-44667-5
ISBN (Print)978-3-540-42479-6
DOIs
Publication statusPublished - Aug 2001

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume2090
ISSN (Print)0302-9743

Keywords

  • FMT-PA: PROCESS ALGEBRAS
  • FMT-PM: PROBABILISTIC METHODS
  • IR-66261
  • FMT-BDD: BINARY DECISION DIAGRAMS
  • METIS-203931
  • FMT-MC: MODEL CHECKING
  • FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS
  • EWI-6408

Cite this

@book{e714971aa78147779e28bec48b355a28,
title = "Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures",
keywords = "FMT-PA: PROCESS ALGEBRAS, FMT-PM: PROBABILISTIC METHODS, IR-66261, FMT-BDD: BINARY DECISION DIAGRAMS, METIS-203931, FMT-MC: MODEL CHECKING, FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS, EWI-6408",
editor = "Hendrik Brinksma and H. Hermanns and Katoen, {Joost P.}",
year = "2001",
month = "8",
doi = "10.1007/3-540-44667-2",
language = "English",
isbn = "978-3-540-42479-6",
series = "Lecture Notes in Computer Science",
publisher = "Springer",

}

Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures. / Brinksma, Hendrik (Editor); Hermanns, H. (Editor); Katoen, Joost P. (Editor).

Berlin : Springer, 2001. 430 p. (Lecture Notes in Computer Science; Vol. 2090).

Research output: Book/ReportBook editingAcademic

TY - BOOK

T1 - Lectures on Formal Methods and Performance Analysis

T2 - First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

A2 - Brinksma, Hendrik

A2 - Hermanns, H.

A2 - Katoen, Joost P.

PY - 2001/8

Y1 - 2001/8

KW - FMT-PA: PROCESS ALGEBRAS

KW - FMT-PM: PROBABILISTIC METHODS

KW - IR-66261

KW - FMT-BDD: BINARY DECISION DIAGRAMS

KW - METIS-203931

KW - FMT-MC: MODEL CHECKING

KW - FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS

KW - EWI-6408

U2 - 10.1007/3-540-44667-2

DO - 10.1007/3-540-44667-2

M3 - Book editing

SN - 978-3-540-42479-6

T3 - Lecture Notes in Computer Science

BT - Lectures on Formal Methods and Performance Analysis

PB - Springer

CY - Berlin

ER -