EEMCS

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

EEMCS EPrints Service


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

Number of items: 1.

1997

Heerink, A.W. and Tretmans, G.J. (1997) Refusal Testing for Classes of Transition Systems with Inputs and Outputs. In: Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII). pp. 23-38. IFIP Conference Proceedings; 107. Chapman & Hall. ISBN 0-412-82060-9

This list was generated on Mon May 22 05:52:32 CEST 2017.