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
{"_id":"mvqXdQSrj2rk6v6a6","bibbaseid":"andrei-calder-higgs-girolami-probabilisticmodelcheckingofdtmcmodelsofuseractivitypatterns-2014","authorIDs":[],"author_short":["Andrei, O.","Calder, M.","Higgs, M.","Girolami, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Oana"],"propositions":[],"lastnames":["Andrei"],"suffixes":[]},{"firstnames":["Muffy"],"propositions":[],"lastnames":["Calder"],"suffixes":[]},{"firstnames":["Matthew"],"propositions":[],"lastnames":["Higgs"],"suffixes":[]},{"firstnames":["Mark"],"propositions":[],"lastnames":["Girolami"],"suffixes":[]}],"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":[{"firstnames":["Gethin"],"propositions":[],"lastnames":["Norman"],"suffixes":[]},{"firstnames":["William","H."],"propositions":[],"lastnames":["Sanders"],"suffixes":[]}],"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","bibtex":"@inproceedings{AndreiCHG14,\n\tAuthor = {Oana Andrei and Muffy Calder and Matthew Higgs and Mark Girolami},\n\tBooktitle = {{Proc. of the 11th Conference on Quantitative Evaluation of Systems (QEST'14)}},\n\tDate-Added = {2016-01-21 12:14:45 +0000},\n\tDate-Modified = {2016-01-21 12:16:08 +0000},\n\tEditor = {Gethin Norman and William H. Sanders},\n\tPages = {138--153},\n\tPublisher = {Springer},\n\tSeries = {Lecture Notes in Computer Science},\n\tTitle = {{Probabilistic Model Checking of {DTMC} Models of User Activity Patterns}},\n\tVolume = {8657},\n\tYear = {2014}}\n\n","author_short":["Andrei, O.","Calder, M.","Higgs, M.","Girolami, M."],"editor_short":["Norman, G.","Sanders, W. H."],"key":"AndreiCHG14","id":"AndreiCHG14","bibbaseid":"andrei-calder-higgs-girolami-probabilisticmodelcheckingofdtmcmodelsofuseractivitypatterns-2014","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.dcs.gla.ac.uk/research/S4/publications_refs/S4_biblio.bib","creationDate":"2019-11-06T12:38:47.261Z","downloads":0,"keywords":[],"search_terms":["probabilistic","model","checking","dtmc","models","user","activity","patterns","andrei","calder","higgs","girolami"],"title":"Probabilistic Model Checking of DTMC Models of User Activity Patterns","year":2014,"dataSources":["C6mN2QfPXvscax4oL"]}