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

Lecture Notes in Computer Science

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

222 pages paperback

1 edition

nonfiction computer science design health mathematics medium-paced
More Options

Read With Others

Book Information

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...

Show More

Community Reviews

Loading...

Content Warnings

Loading...