Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 07:24:12 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||