A comparison of refinement orderings and their associated simulation rules by Bolton, C, Davies, J

A Hierarchy of Failures−Based Models by Bolton, C, Lowe, G

A hierarchy of failures−based models: theory and application by Bolton, C, Lowe, G

A hierarchy of failures-based models: theory and application by Bolton, C, Lowe, G

Analyses of the Reverse Path Forwarding Routing Algorithm by Bolton, C, Lowe, G

A Singleton Failures Semantics for Communicating Sequential Processes by Bolton, C, Davies, J

Refinement in Object−Z and CSP by Bolton, C, Davies, J

On the Automatic Verification of Non−Standard Measures of Consistency by Bolton, C, Lowe, G

Using Relational and Behavioural Semantics in the Verification of Object Models by Bolton, C, Davies, J

Activity Graphs and Processes by Bolton, C, Davies, J

Abstract data types and Processes by Woodcock, J, Davies, J, Bolton, C

On the Refinement and Simulation of Data Types and Processes by Bolton, C, Davies, J, Woodcock, J

HAND WASTING IN CERVICAL SPONDYLITIC MYELOPATHY by Goodridge, A, Feasby, T, Bolton, C, Ebers, G, Brown, W

Comprehensive laboratory course in telecommunications / by 263448 Rowbotham, Thomas R., Johns, Peter B., Bolton, C. M.

Ignitor scale-up studies (DIGNITOR) by Bromberg, L., Titus, P.H., Cohn, D.R., Bolton, C.W.

Get full text

Modelling of DNA damage induced by energetic electrons (100 eV to 100 keV). by Nikjoo, H, Bolton, C, Watanabe, R, Terrissol, M, O'Neill, P, Goodhead, D

Systematic review: monoclonal antibody-induced subacute cutaneous lupus erythematosus by Bolton, C, Chen, Y, Hawthorne, R, Schepel, IRM, Harriss, E, Hofmann, SC, Ellis, S, Clarke, A, Wace, H, Martin, B, Smith, J

Remission of inflammatory bowel disease in Glucose-6-Phosphatase 3 deficiency by allogeneic haematopoietic stem cell transplantation by Bolton, C, Burch, N, Morgan, J, Harrison, B, Pandey, S, Pagnamenta, AT, Taylor, JC, Taylor, JM, Marsh, JCW, Potter, V, Travis, S, Uhlig, HH

The SPICE Detector at ISAC by Garnsworthy A.B., Moukaddam M., Bolton C., Ketelhut S., Evitts L.J., Andreoiu C., Constable M., Hackman G., Henderson R., Svensson C.E.

Get full text

Chromosomal numeric aberrations and rare copy number variation in patients with inflammatory bowel disease by Dirvanskyte, P, Gurram, B, Bolton, C, Warner, N, Jones, KDJ, Griffin, HR, Park, JY, Keller, K-M, Gilmour, KC, Hambleton, S, Muise, AM, Wysocki, C, Uhlig, HH