Rachel Cardell-Oliver, Roger Hale, John Herbert. An Embedding of Timed Transition Systems in HOL. In Luc J. M. Claesen, Michael J. C. Gordon, editors, Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL 92, Leuven, Belgium, 21-24 September 1992. Volume A-20 of IFIP Transactions, pages 263-278, North-Holland/Elsevier, 1992.
@inproceedings{Cardell-OliverHH92,
title = {An Embedding of Timed Transition Systems in HOL},
author = {Rachel Cardell-Oliver and Roger Hale and John Herbert},
year = {1992},
researchr = {https://researchr.org/publication/Cardell-OliverHH92},
cites = {0},
citedby = {0},
pages = {263-278},
booktitle = {Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL 92, Leuven, Belgium, 21-24 September 1992},
editor = {Luc J. M. Claesen and Michael J. C. Gordon},
volume = {A-20},
series = {IFIP Transactions},
publisher = {North-Holland/Elsevier},
isbn = {0-444-89880-8},
}