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

    57 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