EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Niebert, P.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2003

Andova, S. and Hermanns, H. and Katoen, J.P. (2003) Discrete-time rewards model-checked. In: Formal Modelling and Analysis of Timed Systems (FORMATS 2003). pp. 88-104. Lecture Notes in Computer Science 2791. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-21671-1

This list was generated on Mon May 29 03:56:00 CEST 2017.