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: | 29 Nov 2022 23:25 |
URI: | https://eprints.mdx.ac.uk/id/eprint/16751 |
Actions (login required)
![]() |
View Item |
Statistics
Downloads
Activity Overview
6 month trend
6 month trend
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)