Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Proceedings of the Joint International Workshop PAPM-PROBMIV 2001, Acchen, Germnay, September 12-14, 2001.
Year: 2001
Type: article
Authors: Luca de Alfaro, Stephen Gilmore
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2785746916