ROS Theses Repository
Toggle navigation
View Item
ROS Home
Engineering & Physical Sciences
Doctoral Theses (Engineering & Physical Sciences)
View Item
ROS Home
Engineering & Physical Sciences
Doctoral Theses (Engineering & Physical Sciences)
View Item
ROS Home
Engineering & Physical Sciences
Doctoral Theses (Engineering & Physical Sciences)
View Item
Toggle navigation
Admin
JavaScript is disabled for your browser. Some features of this site may not work without it.
Using proof in transformation synthesis for automatic parallelisation
Date
2001
Author
Cook, Andrew
Metadata
Show full item record
URI
http://hdl.handle.net/10399/462
Collections
Doctoral Theses (Engineering & Physical Sciences)
Search ROS
This Collection
Browse
All of ROS
Communities & Collections
By Issue Date
Authors
Titles
This Collection
By Issue Date
Authors
Titles
ROS Administrator
Login
Register
