Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

Editor: Li, X.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.


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


Moreira Moura, G.C. and Fioreze, T. and de Boer, P.T. and Pras, A. (2009) Optical Switching Impact on TCP Throughput Limited by TCP Buffers. In: Proceedings of the 9th IEEE International Workshop on IP Operations and Management, 29-30 Oct 2009, Venice, Italy. pp. 161-166. Lecture Notes in Computer Science 5843. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-04967-5

This list was generated on Mon May 29 02:57:41 CEST 2017.