Research output per year
Research output per year
Short title | Automated quantitative software verification with PRISM |
---|---|
Status | Finished |
Effective start/end date | 1/01/07 → 31/03/10 |
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)