editors. RealTime: Theory (1992)

by J W de Bakker, C Huizing, W P de Roever, G Rozenberg
Venue:in Practice. Number 600 in Lecture Notes in Computer Science