Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings

Holger Hermanns (Editor), Roberto Segala (Editor)

Research output: Book/ReportBook editingAcademic

Original languageEnglish
Place of PublicationCopenhagen, Denmark
PublisherSpringer
Number of pages217
ISBN (Electronic)978-3-540-45605-6
ISBN (Print)978-3-540-43913-4
DOIs
Publication statusPublished - 2002

Publication series

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

Keywords

  • FMT-MC: MODEL CHECKING
  • FMT-PM: PROBABILISTIC METHODS
  • FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS
  • FMT-PA: PROCESS ALGEBRAS
  • FMT-SEMANTICS
  • FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS
  • EWI-6414

Cite this

Hermanns, Holger (Editor) ; Segala, Roberto (Editor). / Process Algebra and Probabilistic Methods : Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings. Copenhagen, Denmark : Springer, 2002. 217 p. (Lecture Notes in Computer Science).
@book{5849e957e1c4453eb7b50eb1cd2a83e1,
title = "Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings",
keywords = "FMT-MC: MODEL CHECKING, FMT-PM: PROBABILISTIC METHODS, FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS, FMT-PA: PROCESS ALGEBRAS, FMT-SEMANTICS, FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS, EWI-6414",
editor = "Holger Hermanns and Roberto Segala",
year = "2002",
doi = "10.1007/3-540-45605-8",
language = "English",
isbn = "978-3-540-43913-4",
series = "Lecture Notes in Computer Science",
publisher = "Springer",

}

Process Algebra and Probabilistic Methods : Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings. / Hermanns, Holger (Editor); Segala, Roberto (Editor).

Copenhagen, Denmark : Springer, 2002. 217 p. (Lecture Notes in Computer Science; Vol. 2399).

Research output: Book/ReportBook editingAcademic

TY - BOOK

T1 - Process Algebra and Probabilistic Methods

T2 - Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings

A2 - Hermanns, Holger

A2 - Segala, Roberto

PY - 2002

Y1 - 2002

KW - FMT-MC: MODEL CHECKING

KW - FMT-PM: PROBABILISTIC METHODS

KW - FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS

KW - FMT-PA: PROCESS ALGEBRAS

KW - FMT-SEMANTICS

KW - FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS

KW - EWI-6414

U2 - 10.1007/3-540-45605-8

DO - 10.1007/3-540-45605-8

M3 - Book editing

SN - 978-3-540-43913-4

T3 - Lecture Notes in Computer Science

BT - Process Algebra and Probabilistic Methods

PB - Springer

CY - Copenhagen, Denmark

ER -