"Using Higher Order Logic for Modelling Real-Time Protocols."

Rachel Cardell-Oliver (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics