|
[AHK03]
S. Andova, H. Hermanns and J.-P. Katoen.
Discrete-time rewards model-checked.
In Proc. Formal Modeling and Analysis of Timed Systems (FORMATS'03), volume 2791 of LNCS, pages 88-104, Springer.
2003.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|