Toggle navigation
Login
Toggle navigation
View Item
VU-DARE Home
5. Theses / Addresses
Doctoral Theses - Sciences
View Item
VU-DARE Home
5. Theses / Addresses
Doctoral Theses - Sciences
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Abstractions and Static Analysis for Verifying Reactive Systems
View/
Open
thesis.pdf (1.106Mb)
Date
2004
Author
Ioustinova, N.
Metadata
Show full item record
URI
http://hdl.handle.net/1871/9061
Collections
Doctoral Theses - Sciences
Science
Search DSpace
This Collection
Browse
All of VU-DARE
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
My Account
Login
Register