Specifying industrial real-time systems in a logical framework

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.

Abstract

Abstract is missing.