default search action

combined dblp search
author search
venue search
publication search

ask others

Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM-PROBMIV)

Process Algebra and Probabilistic Methods (PAPM)

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

Venue Information

predecessor: International Workshop on Probabilistic Methods in Verification (PROBMIV)

PAPM-PROBMIV 2002: Copenhagen, Denmark

- view
  authority control:
- export record
  dblp key:
  - conf/papm/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/papm/2002
Holger Hermanns, Roberto Segala:
Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings. Lecture Notes in Computer Science 2399, Springer 2002, ISBN 3-540-43913-7 [contents]

PAPM-PROBMIV 2001: Aachen, Germany

- view
  authority control:
- export record
  dblp key:
  - conf/papm/2001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/papm/2001
Luca de Alfaro, Stephen Gilmore:
Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings. Lecture Notes in Computer Science 2165, Springer 2001, ISBN 3-540-42556-X [contents]

PAPM 2000: Geneva, Switzerland

PAPM 2000 Home Page

PAPM 1999: Zaragoza, Spain

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.