Action refinement in conformance testing / Machiel van der Bijl, Arend Rensink, Jan Tretmans
| rdfs:label | "Action refinement in conformance testing / Machiel van der Bijl, Arend Rensink, Jan Tretmans" |
| schema:name | "Action refinement in conformance testing" |
| schema:author | Centre for Telematics and Information Technology (Enschede) |
| Bijl, Machiel van der | |
| schema:contributor | Tretmans, Gerrit Jan (1962-) |
| Rensink, Arend (1964-) | |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
kbdef:has |
Action refinement in conformance testing / Machiel van der Bijl, Arend Rensink, Jan Tretmans |
|
http:/ |
"2005" |
| schema:about | informatietechnologie |
|
schema:in |
"en" |
|
schema:is |
CTIT technical report series |
|
schema:number |
33 |
| schema:publication |
<https:/ |