Specifying industrial real-time systems in a logical framework - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto. Specifying industrial real-time systems in a logical framework. In Paolo Ciancarini, Leon Sterling, editors, ICLP 1994 Workshop W7: Applications of Logic Programming to Software Engineering, Santa Margherita Ligure, Italy, June 1994. 1994.

This author has not been identified. Look up 'Emanuele Ciapessoni' in GoogleThis author has not been identified. Look up 'Edoardo Corsetti' in GoogleThis author has not been identified. Look up 'Manlio Migliorati' in GoogleThis author has not been identified. Look up 'Elena Ratto' in Google

runs on WebDSL