EEMCS

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

EEMCS EPrints Service


Supervisor: Remke, A.K.I.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2014

Kolesnichenko, A.V. (2014) Model-Checking Mean-Field Models: Algorithms & Applications. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 14-341 ISBN 978-90-365-3821-3

2013

Postema, B.F. (2013) Fluid Survival Tool: A model checker for Hybrid Petri nets. Master's thesis, University of Twente.

This list was generated on Mon May 22 07:44:29 CEST 2017.