✦ LIBER ✦
[Lecture Notes in Computer Science] CONCUR 2001 — Concurrency Theory Volume 2154 || Performance Evaluation:= (Process Algebra + Model Checking) X Markov Chains
✍ Scribed by Larsen, Kim G.; Nielsen, Mogens
- Book ID
- 121676656
- Publisher
- Springer Berlin Heidelberg
- Year
- 2001
- Weight
- 290 KB
- Category
- Article
- ISBN
- 3540446850
No coin nor oath required. For personal study only.