A.J. Wijs, J.C. van de Pol and E. Bortnik
International Journal on Software Tools for Technology Transfer, Volume *, Issue *, pp. *-*, Springer (* 2009) |
W.J. Fokkink, J. Pang and A.J. Wijs
Fundamenta Informaticae, Volume 87, Issues 3 and 4, pp. 287-311, IOS Press (November 2008) |
A.J. Wijs
in Proc. 12th Conference on Engineering of Complex Computer Systems (ICECCS'07), Auckland, pp. 35-44, IEEE Computer Society Press (July 2007) |
W.J. Fokkink, M. Torabi Dashti and A.J. Wijs
in (R. Focardi, ed.) Proc. 7th IFIP Workshop on Issues in the Theory of Security (WITS'07), Braga, pp. 178-193 (March 2007) |
A.J. Wijs and B. Lisser
in Proc. 4th Workshop on Model Checking and Artificial Intelligence (MoChArt'06), volume 4428 of Lecture Notes in Artificial Intelligence, pp. 165-182, Springer (2007) |
A.J. Wijs, J.C. van de Pol and E. Bortnik
in Proc. 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'05), Lisbon, pp. 54-61, ACM Press (September 2005) |
A.J. Wijs and W.J. Fokkink
in Proc. 10th Conference on Engineering of Complex Computer Systems (ICECCS'05), Shanghai, pp. 184-193, IEEE Computer Society Press (June 2005) |
R. Mateescu and A.J. Wijs
Technical Report published at INRIA Rhône Alpes, VASY Group, RR-7000, 2009 |
M. Torabi Dashti and A.J. Wijs
Technical Report published at CWI, Software Engineering Group 2, SEN-R0610, ISSN 1386-369X, 2006 |
A.J. Wijs, J.C. van de Pol and E. Bortnik
Technical Report published at CWI, Software Engineering Group 2, SEN-R0608, ISSN 1386-369X, 2006 |
A.J. Wijs and W.J. Fokkink
Technical Report published at CWI, Software Engineering Group 2, SEN-R0420, ISSN 1386-369X, 2004 |
A.J. Wijs
Vrije Universiteit Amsterdam, Faculteit der Exacte Wetenschappen, ISBN 978-90-6464-174-9, IPA Dissertation Series 2007-13, defended on 2 October 2007 |
A.J. Wijs
Master Thesis published at Katholieke Universiteit Nijmegen, Faculteit der Natuurwetenschappen, Wiskunde en Informatica, Nijmeegs Instituut voor Informatica en Informatiekunde, Scriptienummer 506, August 2002 |