EEMCS

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

EEMCS EPrints Service


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

Number of items: 1.

2014

Kordy, P.T. and Langerak, R. and Mauw, S. and Polderman, J.W. (2014) A Symbolic Algorithm for the Analysis of Robust Timed Automata. In: 19th International Symposium on Formal Methods, FM 2014, 12-16 May 2014, Singapore. pp. 351-366. Lecture Notes in Computer Science 8442. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-06409-3

This list was generated on Fri May 26 05:25:42 CEST 2017.