EEMCS

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

EEMCS EPrints Service


Editor: Okamura, Y.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2007

Han, Tingting and Katoen, J.P. (2007) Providing evidence of likely being on time - Counterexample generation for CTMC model checking. In: Providing evidence of likely being on time: Counterexample generation for CTMC model checking, 22-25 Oct 2007, Tokyo, Japan. pp. 331-346. Lecture Notes in Computer Science 4762. Springer. ISBN 978-3-540-75595-1

This list was generated on Mon Apr 24 04:03:15 CEST 2017.