Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: B

Number of items: 1.

B

Barnes, Frederick R.M., Ritson, Carl G. (2009) Checking Process-Oriented Operating System Behaviour using CSP and Refinement. SIGOPS Operating Systems Review, 43 (4). pp. 182-196. ISSN 0163-5980. (doi:10.1145/1713254.1713265) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30568)

This list was generated on Fri Apr 19 23:40:59 2024 BST.