External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

On the Specification of Real-Time Systems Using Logic Programming

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.

Authors

Franca Garzotto

This author has not been identified. Look up 'Franca Garzotto' in Google

Carlo Ghezzi

This author has not been identified. Look up 'Carlo Ghezzi' in Google

Dino Mandrioli

This author has not been identified. Look up 'Dino Mandrioli' in Google

Angelo Morzenti

This author has not been identified. Look up 'Angelo Morzenti' in Google
runs on