Perturbation analysis in verification of discrete-time Markov chains

Chen, Taolue, Feng, Yuan, Rosenblum, David S. and Su, Guoxin (2014) Perturbation analysis in verification of discrete-time Markov chains. CONCUR 2014 – Concurrency Theory: 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings. In: 25th Conference on Concurrency Theory (CONCUR 2014), 2-5 Sept 2014, Rome, Italy. ISBN 9783662445839. ISSN 0302-9743 (doi:10.1007/978-3-662-44584-6_16)

[img] PDF - Published version (with publisher's formatting)
Restricted to Repository staff and depositor only

Download (334kB)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Published in: CONCUR 2014 – Concurrency Theory, Volume 8704 of the series Lecture Notes in Computer Science, pp 218-233
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 16751
Depositing User: Taolue Chen
Date Deposited: 03 Jun 2015 10:19
Last Modified: 30 May 2019 18:34
URI: https://eprints.mdx.ac.uk/id/eprint/16751

Actions (login required)

Edit Item Edit Item