Butler, Colin
858  Ergebnisse:
Personensuche X
?
1

Semantics Formalisation – From Event-B Contexts to Theories:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,
 
?
3

A novel method of accurately characterizing heat pipes usin..:

Guinan, Eoin ; Punch, Jeff ; Butler, Colin.
Experimental Thermal and Fluid Science.  153 (2024)  - p. 111132 , 2024
 
?
4

Contributors:

, In: Living with Climate Change,
 
?
5

Novel approach for tracheal resection in Morquio syndrome t..:

Kenth, Johnny ; Maughan, Elizabeth ; Butler, Colin..
Molecular Genetics and Metabolism.  141 (2024)  2 - p. 107914 , 2024
 
?
8

Contributors:

, In: Intelligence-Based Cardiology and Cardiac Surgery,
 
?
 
?
10

Pedicled pericardial patch in tracheal reconstruction in ch..:

Beeman, Arun ; Ramaswamy, Madhavan ; Butler, Colin...
International Journal of Pediatric Otorhinolaryngology.  178 (2024)  - p. 111891 , 2024
 
?
11

Revisiting the Great Ormond Street Hospital protocol for wa..:

Miu, Kelvin ; Magill, Jennifer ; Wyatt, Michelle...
International Journal of Pediatric Otorhinolaryngology.  176 (2024)  - p. 111787 , 2024
 
?
12

Designing Exception Handling Using Event-B:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,
 
1-15