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. In: 25th Conference on Concurrency Theory (CONCUR 2014), 2-5 Sept 2014, Rome, Italy. (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
ISBN: 9783662445839
URI: https://eprints.mdx.ac.uk/id/eprint/16751

Actions (login required)

Edit Item Edit Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year