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.
@inproceedings{CiapessoniCMR94,
title = {Specifying industrial real-time systems in a logical framework},
author = {Emanuele Ciapessoni and Edoardo Corsetti and Manlio Migliorati and Elena Ratto},
year = {1994},
researchr = {https://researchr.org/publication/CiapessoniCMR94},
cites = {0},
citedby = {0},
booktitle = {ICLP 1994 Workshop W7: Applications of Logic Programming to Software Engineering, Santa Margherita Ligure, Italy, June 1994},
editor = {Paolo Ciancarini and Leon Sterling},
}