A logic for signal inserted timed frames (1996)

by J A Bergstra, W J Fokkink, C A Middelburg
Venue:Utrecht University, Department of Philosophy