Roger Hale (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Roger Hale, Rachel Cardell-Oliver, John Herbert: An Embedding of Timed Transition Systems in HOL. Formal Methods in System Design 3(1/2): 151-174 (1993)

5 Rachel Cardell-Oliver, Roger Hale, John Herbert: An Embedding of Timed Transition Systems in HOL. TPHOLs 1992: 263-278

Selection of 2 from 6 records - Roger Hale has 9 coauthors

6		Roger Hale, Rachel Cardell-Oliver, John Herbert: An Embedding of Timed Transition Systems in HOL. Formal Methods in System Design 3(1/2): 151-174 (1993)
5		Rachel Cardell-Oliver, Roger Hale, John Herbert: An Embedding of Timed Transition Systems in HOL. TPHOLs 1992: 263-278