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/ReportBook

Original languageEnglish
PublisherSpringer
Number of pages216
ISBN (Print)3-540-42556-X
Publication statusPublished - 2001

Cite this