Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop Papm-Probmiv 2002, Copenhagen, D by

Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop Papm-Probmiv 2002, Copenhagen, D

Lecture Notes in Computer Science

222 pages • missing pub info (editions)

nonfiction computer science design health mathematics medium-paced
Powered by AI (Beta)
Loading...

Description

This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25-26, 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop results from the combi...

Read more

Community Reviews

Loading...

Content Warnings

Loading...