Perturbation analysis in verification of discrete-time Markov chains

Chen, Taolue and Feng, Yuan and 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.

[img]
Preview
PDF - Published version (with publisher's formatting)
Download (334kB) | Preview
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: 07 Dec 2018 08:33
URI: http://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