EEMCS

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

EEMCS EPrints Service


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

Number of items: 3.

2009

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

2008

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 Mon Mar 27 08:06:34 CEST 2017.