Items where Division is "Non-College Departments" and Year is 1993
 | Up a level |
Jump to: C
Number of items: 1.
C
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.