Items where Division is "Non-College Departments" and Year is 1993
![]() | Up a level |
Number of items: 1.
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.