Franca Garzotto, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti. On the Specification of Real-Time Systems Using Logic Programming. In Howard K. Nichols, Dan Simpson, editors, ESEC 87, 1st European Software Engineering Conference, Strasbourg, France, September 9-11, 1987, Proceedings. Volume 289 of Lecture Notes in Computer Science, pages 180-190, Springer, 1987.
@inproceedings{GarzottoGMM87,
title = {On the Specification of Real-Time Systems Using Logic Programming},
author = {Franca Garzotto and Carlo Ghezzi and Dino Mandrioli and Angelo Morzenti},
year = {1987},
tags = {logic programming, programming, logic},
researchr = {https://researchr.org/publication/GarzottoGMM87},
cites = {0},
citedby = {0},
pages = {180-190},
booktitle = {ESEC 87, 1st European Software Engineering Conference, Strasbourg, France, September 9-11, 1987, Proceedings},
editor = {Howard K. Nichols and Dan Simpson},
volume = {289},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-18712-X},
}