Modelling, Reduction and Analysis of Markov Automata. Guck, D., Hatefi, H., Hermanns, H., Katoen, J., & Timmer, M. In Joshi, K. R., Siegle, M., Stoelinga, M., & D'Argenio, P. R., 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 55–71, 2013. Springer. doi bibtex @inproceedings{guck_modelling_2013,
series = {Lecture {Notes} in {Computer} {Science}},
title = {Modelling, {Reduction} and {Analysis} of {Markov} {Automata}},
volume = {8054},
isbn = {978-3-642-40195-4},
doi = {10.1007/978-3-642-40196-1_5},
booktitle = {Quantitative {Evaluation} of {Systems} - 10th {International} {Conference}, {QEST} 2013, {Buenos} {Aires}, {Argentina}, {August} 27-30, 2013. {Proceedings}},
publisher = {Springer},
author = {Guck, Dennis and Hatefi, Hassan and Hermanns, Holger and Katoen, Joost-Pieter and Timmer, Mark},
editor = {Joshi, Kaustubh R. and Siegle, Markus and Stoelinga, Mariëlle and D'Argenio, Pedro R.},
year = {2013},
pages = {55--71},
}
Downloads: 0
{"_id":{"_str":"53bbbace823e1b37040000d1"},"__v":0,"authorIDs":["5457d87e2abc8e9f370007e5","54d6986996f9453b5f00073b"],"author_short":["Guck, D.","Hatefi, H.","Hermanns, H.","Katoen, J.","Timmer, M."],"bibbaseid":"guck-hatefi-hermanns-katoen-timmer-modellingreductionandanalysisofmarkovautomata-2013","bibdata":{"bibtype":"inproceedings","type":"inproceedings","series":"Lecture Notes in Computer Science","title":"Modelling, Reduction and Analysis of Markov Automata","volume":"8054","isbn":"978-3-642-40195-4","doi":"10.1007/978-3-642-40196-1_5","booktitle":"Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings","publisher":"Springer","author":[{"propositions":[],"lastnames":["Guck"],"firstnames":["Dennis"],"suffixes":[]},{"propositions":[],"lastnames":["Hatefi"],"firstnames":["Hassan"],"suffixes":[]},{"propositions":[],"lastnames":["Hermanns"],"firstnames":["Holger"],"suffixes":[]},{"propositions":[],"lastnames":["Katoen"],"firstnames":["Joost-Pieter"],"suffixes":[]},{"propositions":[],"lastnames":["Timmer"],"firstnames":["Mark"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Joshi"],"firstnames":["Kaustubh","R."],"suffixes":[]},{"propositions":[],"lastnames":["Siegle"],"firstnames":["Markus"],"suffixes":[]},{"propositions":[],"lastnames":["Stoelinga"],"firstnames":["Mariëlle"],"suffixes":[]},{"propositions":[],"lastnames":["D'Argenio"],"firstnames":["Pedro","R."],"suffixes":[]}],"year":"2013","pages":"55–71","bibtex":"@inproceedings{guck_modelling_2013,\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {Modelling, {Reduction} and {Analysis} of {Markov} {Automata}},\n\tvolume = {8054},\n\tisbn = {978-3-642-40195-4},\n\tdoi = {10.1007/978-3-642-40196-1_5},\n\tbooktitle = {Quantitative {Evaluation} of {Systems} - 10th {International} {Conference}, {QEST} 2013, {Buenos} {Aires}, {Argentina}, {August} 27-30, 2013. {Proceedings}},\n\tpublisher = {Springer},\n\tauthor = {Guck, Dennis and Hatefi, Hassan and Hermanns, Holger and Katoen, Joost-Pieter and Timmer, Mark},\n\teditor = {Joshi, Kaustubh R. and Siegle, Markus and Stoelinga, Mariëlle and D'Argenio, Pedro R.},\n\tyear = {2013},\n\tpages = {55--71},\n}\n\n","author_short":["Guck, D.","Hatefi, H.","Hermanns, H.","Katoen, J.","Timmer, M."],"editor_short":["Joshi, K. R.","Siegle, M.","Stoelinga, M.","D'Argenio, P. R."],"key":"guck_modelling_2013","id":"guck_modelling_2013","bibbaseid":"guck-hatefi-hermanns-katoen-timmer-modellingreductionandanalysisofmarkovautomata-2013","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://api.zotero.org/users/2539494/collections/QPKDCWZ2/items?key=GQZ7eSblSbBg8hlOjp5OpOAp&format=bibtex&limit=100","creationDate":"2014-07-08T09:33:02.265Z","downloads":0,"keywords":[],"search_terms":["modelling","reduction","analysis","markov","automata","guck","hatefi","hermanns","katoen","timmer"],"title":"Modelling, Reduction and Analysis of Markov Automata","year":2013,"dataSources":["ypi2bjGvbv5c7j2pz"]}