EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

Editor: Philippou, A.

Home Policy Brochure Browse Search User Area Contact Help

Number of items: 3.

2009

Nguyen, Viet Yen and Ruys, T.C. (2009) Memoised Garbage Collection for Software Model Checking. In: Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), 22-29 March 2009, York, UK. pp. 201-214. Lecture Notes in Computer Science 5505. Springer Verlag. ISBN 978-3-642-00767-5

Aan de Brugh, N.H.M. and Nguyen, Viet Yen and Ruys, T.C. (2009) MoonWalker: Veri?cation of .NET Programs. In: Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), 22-29 March 2009, York, UK. pp. 170-173. Lecture Notes in Computer Science 5505. Springer Verlag. ISBN 978-3-642-00767-5

Kuijper, W. and van de Pol, J.C. (2009) Computing Weakest Strategies for Safety Games of Imperfect Information. In: Tools and Algorithms for the Construction and Analysis of Systems, 22-29 Mar 2009, York, UK. pp. 92-106. Lecture Notes in Computer Science 5505. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-00767-5

This list was generated on Thu May 24 07:45:52 CEST 2012.