Browse by Journal and Volume

Group by: Author(s) | Date | School | No Grouping

Jump to: 17 December 2015

Number of items: 1.

17 December 2015

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.

This list was generated on Wed Jul 23 01:52:35 2025 BST.