@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},
}

{"_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"]}