EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: de Boer, F.S
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 4.

2010

Hermanns, H. and Katoen, J.P. (2010) The How and Why of Interactive Markov Chains. (Invited) In: Symposium on Formal Methods for Components and Objects, FMCO 2009, 04 - 06 November 2009, Eindhoven, the Netherlands. pp. 311-337. Lecture Notes in Computer Science 6286. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-17070-6

2009

Chrząszcz, J. and Huisman, M. and Schubert, A. (2009) BML and Related Tools. In: Formal Methods for Components and Objects, 21-23 Oktober 2008, Sophia Antipolis, France. pp. 278-297. Lecture Notes in Computer Science 5751. Springer Verlag. ISBN 978-3-642-04166-2

2006

Distefano, D.S. and Katoen, J.P. and Rensink, A. (2006) Safety and Liveness in Concurrent Pointer Programs. (Invited) In: Proceedings of the 4th Internatinal Symposium on Formal Methods for Components and Objects, November 1-4, 2005, Amsterdam, The Netherlands. pp. 280-312. Lecture Notes in Computer Science 4111. Springer Verlag. ISBN 978-3-540-36749-9

2002

Nijholt, A. (2002) Jaco de Bakker (1976-1980) Best Wel Aardig. In: Liber Amicorum J.W. de Bakker. CWI (Centrum voor Wiskunde en Informatica), Amsterdam, pp. 155-156.

This list was generated on Mon Mar 27 00:20:23 CEST 2017.