| Original language | English |
|---|---|
| Title of host publication | Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM'07) |
| Publication status | Published - 2007 |
Stochastic model checking
M. Kwiatkowska, G. Norman, D. Parker
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution