Items where Division is "Non-College Departments" and Year is 1993

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.
Clarke, Philip J. (1993). A formal methodology for the verification of concurrent systems. PHD thesis, Aston University.