Process Algebra And Probabilistic Methods. Performance Modelling And Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | June 30, 2003 |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2126788 |
About Process Algebra And Probabilistic Methods. Performance Modelling And Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings
This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in . . .