The synchronous approach to reactive and real-time systems (1991)

by Albert Benveniste , Gerard Berry
Venue:Proceedings of the IEEE
Citations:369 - 12 self