| Original language | English |
|---|---|
| Publication status | Published - 1 Jan 2005 |
| Event | 4th All Hands Meeting (AHM '05) - Duration: 1 Jan 2005 → … |
Conference
| Conference | 4th All Hands Meeting (AHM '05) |
|---|---|
| Period | 1/01/05 → … |
Grid-enabled probabilistic model checking with PRISM
[No Value] [No Value], David Parker, Marta Kwiatkowska
Research output: Contribution to conference (unpublished) › Paper