{"_id":{"_str":"53bbeb57823e1b37040003d7"},"__v":1,"authorIDs":["5457d87e2abc8e9f370007e5","54d6986996f9453b5f00073b"],"author_short":["Guck, D.","Hatefi, H.","Hermanns, H.","Katoen, J.","Timmer, M."],"bibbaseid":"guck-hatefi-hermanns-katoen-timmer-analysisoftimedandlongrunobjectivesformarkovautomata-2014","bibdata":{"bibtype":"article","type":"article","title":"Analysis of Timed and Long-Run Objectives for Markov Automata","volume":"10","doi":"10.2168/LMCS-10(3:17)2014","number":"3","journal":"Logical Methods in Computer Science","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":[]}],"year":"2014","bibtex":"@article{guck_analysis_2014,\n\ttitle = {Analysis of {Timed} and {Long}-{Run} {Objectives} for {Markov} {Automata}},\n\tvolume = {10},\n\tdoi = {10.2168/LMCS-10(3:17)2014},\n\tnumber = {3},\n\tjournal = {Logical Methods in Computer Science},\n\tauthor = {Guck, Dennis and Hatefi, Hassan and Hermanns, Holger and Katoen, Joost-Pieter and Timmer, Mark},\n\tyear = {2014},\n}\n\n","author_short":["Guck, D.","Hatefi, H.","Hermanns, H.","Katoen, J.","Timmer, M."],"key":"guck_analysis_2014","id":"guck_analysis_2014","bibbaseid":"guck-hatefi-hermanns-katoen-timmer-analysisoftimedandlongrunobjectivesformarkovautomata-2014","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://api.zotero.org/users/2539494/collections/QPKDCWZ2/items?key=GQZ7eSblSbBg8hlOjp5OpOAp&format=bibtex&limit=100","creationDate":"2014-07-08T13:00:07.771Z","downloads":4,"keywords":[],"search_terms":["analysis","timed","long","run","objectives","markov","automata","guck","hatefi","hermanns","katoen","timmer"],"title":"Analysis of Timed and Long-Run Objectives for Markov Automata","year":2014,"dataSources":["ypi2bjGvbv5c7j2pz"]}