EEMCS

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

EEMCS EPrints Service


Editor: Alur, R.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2008

Bouyer, P. and Brinksma, H. and Larsen, K.G. (2008) Optimal infinite scheduling for multi-priced timed automata. Formal Methods in System Design, 32 (1). pp. 3-23. ISSN 0925-9856 *** ISI Impact 1,132 ***

2004

van der Schaft, A.J. (2004) Bisimulation of dynamical systems. In: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science 2993. Springer Verlag, Berlin, pp. 555-569. ISSN 0302-9743 ISBN 978-3-540-21259-1

This list was generated on Sun May 21 21:39:09 CEST 2017.