Formal verification and analysis of PAWS / András L. Oláh
| rdfs:label | "Formal verification and analysis of PAWS / András L. Oláh" |
| schema:name | "Formal verification and analysis of PAWS" |
| schema:author | Centre for Telematics and Information Technology (Enschede) |
| Oláh, András László (1966-) | |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1995" |
| schema:about | operations research |
| datacommunicatie | |
| computernetwerken | |
|
schema:in |
"en" |
|
schema:is |
CTIT technical report series |
|
schema:number |
33 |
| schema:publication |
<https:/ |