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. Springer 2002 Lecture Notes in Computer Science 2399 ISBN 3-540-43913-7 [ contents ]
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. Springer 2001 Lecture Notes in Computer Science 2165 ISBN 3-540-42556-X [ contents ]
PAPM 2000: Geneva, Switzerland
PAPM 1999: Zaragoza, Spain
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team