FP7_COLLAB_HIERATIC v2

Rowe, Jon (Principal Investigator)
Good, Chris (Co-Investigator)
Parker, Dave (Co-Investigator)

1 Article

1 results

Filter

2013
Compositional probabilistic verification through multi-objective model checking
Kwiatkowska, M., Norman, G., Parker, D. & Qu, H., Nov 2013, In: Information and Computation. 232, p. 38-65
Research output: Contribution to journal › Article › peer-review

Open Access
File
20 Citations (Scopus)

170 Downloads (Pure)