Search Results - Keane, A T
-
1
A formal approach to determining parallel resource bindings
Published 1994Get full text
Default Conference proceeding -
2
Representation of coherency classes for parallel systems
Published 1993Get full text
Default Conference proceeding -
3
The use of formal methods in parallel operating systems
Published 1992Get full text
Default Conference proceeding -
4
A method of verification in design: an operating system case study
Published 2000Get full text
Default Conference proceeding -
5