External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Model Checking Markov Population Models by Central Limit Approximation

Luca Bortolussi, Roberta Lanciani. Model Checking Markov Population Models by Central Limit Approximation. In Kaustubh R. Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio, editors, Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Volume 8054 of Lecture Notes in Computer Science, pages 123-138, Springer, 2013. [doi]

Authors

Luca Bortolussi

This author has not been identified. Look up 'Luca Bortolussi' in Google

Roberta Lanciani

This author has not been identified. Look up 'Roberta Lanciani' in Google
runs on