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

EEMCS EPrints Service

Editor: De Roever, W.-P.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.


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


D'Argenio, P.R. and Katoen, J.P. and Brinksma, H. (1998) An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract). In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98), 8-12 June 1998, Shelter Island, New York. pp. 126-147. IFIP Conference Proceedings 125. Chapman & Hall. ISBN 0-412-83760-9

This list was generated on Sun May 28 23:53:13 CEST 2017.