EEMCS

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

EEMCS EPrints Service


Editor: Petrenko, A.K.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2012

Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2012) Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation. In: Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012), 25 Mar 2012, Tallinn, Estonia. pp. 73-87. Electronic Proceedings in Theoretical Computer Science 80. Open Publishing Association. ISSN 2075-2180

This list was generated on Mon Apr 24 04:30:35 CEST 2017.