An Embedding of Timed Transition Systems in HOL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Rachel Cardell-Oliver' in GoogleThis author has not been identified. Look up 'Roger Hale' in GoogleThis author has not been identified. Look up 'John Herbert' in Google

runs on WebDSL