Using higher order logic for modelling real-time protocols
Authors:
Rachel Cardell-Oliver
Affiliations:
-
Venue:
TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Advances in distributed computing (ADC) and colloquium on combining paradigms for software development (CCPSD): Vol. 2