Specifying industrial real-time systems in a logical framework.
Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto
VenueBICLP
Year1994
ProceedingsICLP Workshop: Applications of Logic Programming to Software Engineering
DBLP recordconf/iclp/CiapessoniCMR94 ↗
Browse the full ICLP paper archive.