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

EEMCS EPrints Service

Editor: Stiles, G.S.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 3.


Bezemer, M.M. and Groothuis, M.A. and Broenink, J.F. (2009) Analysing gCSP Models Using Runtime and Model Analysis Algorithms. In: Communicating Process Architectures 2009, 01-04 Nov 2009, Eindhoven. pp. 67-88. Concurrent System Engineering Series 67 (WoTUG-32). IOS Press BV. ISSN 1383-7575 ISBN 978-1-60750-065-0
Welch, P.H. and Roebbers, H.W. and Broenink, J.F. and Barnes, F.R.M. and Ritson, C.G. and Sampson, A.T. and Stiles, G.S. and Vinter, B. (2009) Preface. In: Communicating Process Architectures 2009, 1-4 Nov 2009, Eindhoven. Concurrent Systems Engineering Series 67. IOS Press. ISSN 1383-7575 ISBN 978-1-60750-065-0


Badban, B. and Fokkink, W.J. and van de Pol, J.C. (2008) Mechanical verification of a two-way sliding window protocol. In: Communicating Process Architectures 2008, 7-10 Sep 2008, York, UK. pp. 179-202. Concurrent Systems Engineering Series 66. IOS Press. ISBN 978-1-58603-907-3

This list was generated on Fri May 26 07:02:25 CEST 2017.