Process Algebra and Probabilistic Methods
PAPM-PROBMIV 2002: Copenhagen, Denmark
Holger Hermanns, Roberto Segala (Eds.):
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 2002 Home Page
PAPM-PROBMIV 2001: Aachen, Germany
Luca de Alfaro, Stephen Gilmore (Eds.):
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-PROBMIV 2001 Home Page
PAPM 2000: Geneva, Switzerland
PAPM 2000 Home Page
PAPM 1999: Zaragoza, Spain
PAPM 1999 Home Page
Last update Tue May 21 17:49:54 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
