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