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 [Conference or Workshop Item] (doi:10.1007/978-3-662-44584-6_16)

PDF - Published version (with publisher's formatting)
Restricted to Repository staff and depositor only
Download (334kB)

Official URL: http://dx.doi.org/10.1007/978-3-662-44584-6_16

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)

View Item

Altmetric

CORE (COnnecting REpositories)

Statistics

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