Abstractions and static analysis for verifying reactive systems / Nataliya Yustinova
Proefschrift Vrije Universiteit Amsterdam
| rdfs:label | "Abstractions and static analysis for verifying reactive systems / Nataliya Yustinova" |
| schema:name | "Abstractions and static analysis for verifying reactive systems" |
| schema:author | Yustinova, Nataliya |
| schema:description | "Proefschrift Vrije Universiteit Amsterdam" |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"2004" |
| schema:about | systeemontwikkeling (informatica) |
|
<http:/ |
|
| computersystemen | |
| Systeemontwerp | |
| Systemen | |
|
schema:in |
"en" |
| schema:isbn | "906196525X" |
|
schema:number |
191 |
| schema:publication |
<https:/ |