Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 4. 2009
Huisman, M. and Aldrich, J. and Barnett, M. and Giannakopoulou, D. and Leavens, G.T. and Sharagyna, N.
(2009)
Foreword.
In: SAVCBS '09 - Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems, 25 August 2009, Amsterdam.
pp. 3-3.
ACM.
ISBN 978-1-60558-680-9
Haack, C. and Hurlin, C.
(2009)
Resource Usage Protocols for Iterators.
Journal of Object Technology, 8 (4).
pp. 55-83.
ISSN 1660-1769
2007
Ruys, T.C. and Aan de Brugh, N.H.M.
(2007)
MMC: the Mono Model Checker.
In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007), 31 March 2007, Braga, Portugal.
pp. 149-160.
Electronic Notes in Theoretical Computer Science 190 (1).
Elsevier.
ISSN 1571-0661
2004
Hartel, P.H. and van Eck, P.A.T. and Etalle, S. and Wieringa, R.J.
(2004)
Modelling mobility aspects of security policies.
(Invited)
In: Construction and Analysis of Safe, Secure and Interoperable Smart cards (CASSIS), March 10-14, 2004, Marseille, France.
pp. 172-191.
Lecture Notes in Computer Science 3362.
Springer-Verlag.
ISBN 3-540-24287-2
This list was generated on Thu May 24 06:40:53 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||