Discrete-Time Rewards Model-Checked. Andova, S., Hermanns, H., & Katoen, J. In Proc. of the 1st Intern. Workshop on Formal Modeling and Analysis of Timed Systems Workshop (FORMATS'03), volume 2791, of LNCS, pages 88-104, 2003. bibtex @inproceedings{AHK03,
Author = {Suzana Andova and Holger Hermanns and Joost-Pieter Katoen},
Booktitle = {Proc. of the 1st Intern. Workshop on Formal Modeling and Analysis of Timed Systems Workshop (FORMATS'03)},
Date-Added = {2018-10-15 00:38:44 +0200},
Date-Modified = {2019-07-05 17:07:31 +0200},
Pages = {88-104},
Series = {LNCS},
Title = {Discrete-Time Rewards Model-Checked},
Volume = {2791},
Year = {2003}}
Downloads: 0
{"_id":"k56B9xkheJDtFFZKz","bibbaseid":"andova-hermanns-katoen-discretetimerewardsmodelchecked-2003","authorIDs":[],"author_short":["Andova, S.","Hermanns, H.","Katoen, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Suzana"],"propositions":[],"lastnames":["Andova"],"suffixes":[]},{"firstnames":["Holger"],"propositions":[],"lastnames":["Hermanns"],"suffixes":[]},{"firstnames":["Joost-Pieter"],"propositions":[],"lastnames":["Katoen"],"suffixes":[]}],"booktitle":"Proc. of the 1st Intern. Workshop on Formal Modeling and Analysis of Timed Systems Workshop (FORMATS'03)","date-added":"2018-10-15 00:38:44 +0200","date-modified":"2019-07-05 17:07:31 +0200","pages":"88-104","series":"LNCS","title":"Discrete-Time Rewards Model-Checked","volume":"2791","year":"2003","bibtex":"@inproceedings{AHK03,\n\tAuthor = {Suzana Andova and Holger Hermanns and Joost-Pieter Katoen},\n\tBooktitle = {Proc. of the 1st Intern. Workshop on Formal Modeling and Analysis of Timed Systems Workshop (FORMATS'03)},\n\tDate-Added = {2018-10-15 00:38:44 +0200},\n\tDate-Modified = {2019-07-05 17:07:31 +0200},\n\tPages = {88-104},\n\tSeries = {LNCS},\n\tTitle = {Discrete-Time Rewards Model-Checked},\n\tVolume = {2791},\n\tYear = {2003}}\n\n","author_short":["Andova, S.","Hermanns, H.","Katoen, J."],"key":"AHK03","id":"AHK03","bibbaseid":"andova-hermanns-katoen-discretetimerewardsmodelchecked-2003","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"https://edgecloud.de/main.bib","creationDate":"2020-07-22T13:21:44.847Z","downloads":0,"keywords":[],"search_terms":["discrete","time","rewards","model","checked","andova","hermanns","katoen"],"title":"Discrete-Time Rewards Model-Checked","year":2003,"dataSources":["TeJe2rTmEWBM8PPwx"]}