Original language | English |
---|---|
Publisher | Springer |
Number of pages | 216 |
ISBN (Print) | 3-540-42556-X |
Publication status | Published - 2001 |
Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Proceedings of the Joint International Workshop PAPM-PROBMIV 2001, Acchen, Germnay, September 12-14, 2001.
Luca de Alfaro (Editor), Stephen Gilmore (Editor)
Research output: Book/Report › Book