Browse by Journal and Volume
 | Up a level |
Number of items: 1.
Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Su, G. and Feng, Y. and Chen, Taolue and Rosenblum, D.S. (2015) Asymptotic perturbation bounds for probabilistic model checking with empirically determined probability parameters. IEEE Transactions on Software Engineering 42 (7), pp. 623-639. ISSN 0098-5589.