Edinburgh Research Archive
Toggle navigation
View Item
ERA Home
Informatics, School of
Informatics thesis and dissertation collection
View Item
ERA Home
Informatics, School of
Informatics thesis and dissertation collection
View Item
Login
Toggle navigation
JavaScript is disabled for your browser. Some features of this site may not work without it.
Annotated transition systems for verifying concurrent programs
View/
Open
Paczkowski1990.Pdf (5.305Mb)
Date
1990
Author
Paczkowski, Pawel
Metadata
Show full item record
Abstract
URI
http://hdl.handle.net/1842/15567
Collections
Informatics thesis and dissertation collection
Search ERA
This Collection
All of ERA
Communities & Collections
By Issue Date
Authors
Titles
Subjects
Publication Type
Sponsor
Supervisors
This Collection
By Issue Date
Authors
Titles
Subjects
Publication Type
Sponsor
Supervisors
Login
Register