Perturbation analysis in verification of discrete-time Markov chains

Conference paper


Chen, T., Feng, Y., Rosenblum, D. and Su, G. 2014. Perturbation analysis in verification of discrete-time Markov chains. 25th Conference on Concurrency Theory (CONCUR 2014). Rome, Italy 02 - 05 Sep 2014 Springer. https://doi.org/10.1007/978-3-662-44584-6_16
TypeConference paper
TitlePerturbation analysis in verification of discrete-time Markov chains
AuthorsChen, T., Feng, Y., Rosenblum, D. and Su, G.
Conference25th Conference on Concurrency Theory (CONCUR 2014)
Proceedings TitleConcurrency Theory - 25th International Conference
ISSN0302-9743
ISBN
Hardcover9783662445839
PublisherSpringer
Publication dates
PrintSep 2014
Publication process dates
Deposited03 Jun 2015
Output statusPublished
Additional information

Published in: CONCUR 2014 – Concurrency Theory, Volume 8704 of the series Lecture Notes in Computer Science, pp 218-233

Digital Object Identifier (DOI)https://doi.org/10.1007/978-3-662-44584-6_16
LanguageEnglish
Book titleCONCUR 2014 – Concurrency Theory: 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings
Permalink -

https://repository.mdx.ac.uk/item/8588y

Restricted files

Publisher's version

  • 12
    total views
  • 0
    total downloads
  • 0
    views this month
  • 0
    downloads this month

Export as