Items where Division is "Non-College Departments" and Year is 1993
![]() | Up a level |
Jump to: Thesis
Number of items: 1.
Thesis
Clarke, Philip J. (1993). A formal methodology for the verification of concurrent systems. PHD thesis, Aston University.
![]() | Up a level |
Clarke, Philip J. (1993). A formal methodology for the verification of concurrent systems. PHD thesis, Aston University.