a Declarative Language for RealTime (0)

by P CASPI, D PILAUD, N HALBWACHS, J PLAICE, LUSTRE
Venue:Programming, Proc. Conf. on Principles of Programming Languages