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

EEMCS EPrints Service

Editor: Palsberg, J.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 4.


Hurlin, C. (2009) Automatic Parallelization and Optimization of Programs by Proof Rewriting. In: The 16th International Static Analysis Symposium, 9-11 Aug 2009, Los Angeles, USA. pp. 52-68. Lecture Notes in Computer Science 5673. Springer Verlag. ISBN 978-3-642-03236-3


Bohnenkamp, H.C. and Stoelinga, M.I.A. (2008) Quantitative Testing. In: Proceedings of the 7th ACM International conference on Embedded software, October 19-24, 2008, Georgia, Atlanta. pp. 227-236. ACM. ISBN 978-1-60558-468-3
Nguyen, Viet Yen and Ruys, T.C. (2008) Incremental Hashing for SPIN. In: Model Checking Software, Proceedings of the 15th International SPIN Workshop, 10-12 Aug 2008, Los Angeles, CA, USA. pp. 232-249. Lecture Notes in Computer Science 5156. Springer Verlag. ISBN 978-3-540-85113-4


Hermanns, H. and Palsberg, J., ed. (2006) Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science 3920. Springer Verlag. ISSN 0302-9743 ISBN 3-540-33056-9

This list was generated on Mon May 29 04:17:08 CEST 2017.