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 BibTeX
- 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 BibTeX
- PAPM-PROBMIV 2001 Home Page
PAPM 2000: Geneva, Switzerland
PAPM 2000 Home Page
PAPM 1999: Zaragoza, Spain
PAPM 1999 Home Page
Copyright © Sat May 16 23:32:28 2009
by Michael Ley (ley@uni-trier.de)
