SIGNAL as a Model for Real-Time and Hybrid Systems.

Albert Benveniste, Michel Le Borgne, Paul Le Guernic

Browse the full ESOP paper archive.