Probabilistic Model Checking of DTMC Models of User Activity Patterns. Andrei, O., Calder, M., Higgs, M., & Girolami, M. In Norman, G. & Sanders, W. H., editors, Proc. of the 11th Conference on Quantitative Evaluation of Systems (QEST'14), volume 8657, of Lecture Notes in Computer Science, pages 138–153, 2014. Springer.
bibtex   
@inproceedings{AndreiCHG14,
	Author = {Oana Andrei and Muffy Calder and Matthew Higgs and Mark Girolami},
	Booktitle = {{Proc. of the 11th Conference on Quantitative Evaluation of Systems (QEST'14)}},
	Date-Added = {2016-01-21 12:14:45 +0000},
	Date-Modified = {2016-01-21 12:16:08 +0000},
	Editor = {Gethin Norman and William H. Sanders},
	Pages = {138--153},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {{Probabilistic Model Checking of {DTMC} Models of User Activity Patterns}},
	Volume = {8657},
	Year = {2014}}

Downloads: 0