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

    54 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 -