EEMCS

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

EEMCS EPrints Service


Editor: Liu, Z.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2015

Junges, S. and Guck, D. and Katoen, J.P. and Rensink, A. and Stoelinga, M.I.A. (2015) Fault Trees on a Diet - Automated Reduction by Graph Rewriting. In: Proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2015), 4-6 Nov 2015, Nanjing, China. pp. 3-18. Lecture Notes in Computer Science 9409. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-25941-3

2009

van de Pol, J.C. and Timmer, M. (2009) State Space Reduction of Linear Processes Using Control Flow Reconstruction. In: ATVA 2009 - Automated Technology for Verification and Analysis. 7th International Symposium, 13 Oct - 16 Oct 2009, Macao SAR, China. pp. 54-68. Lecture Notes in Computer Science 5799. Springer Verlag. ISBN 978-3-642-04760-2

This list was generated on Mon May 29 02:56:11 CEST 2017.