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.

A Deductive Database Support to the Specification of Concurrent Systems

Patrizia Asirelli, Stefania Gnesi, Maria Cristina Rossi. A Deductive Database Support to the Specification of Concurrent Systems. In Keith G. Jeffery, Jaroslav Král, Miroslav Bartosek, editors, SOFSEM 96: Theory and Practice of Informatics, 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996, Proceedings. Volume 1175 of Lecture Notes in Computer Science, pages 309-316, Springer, 1996.

Authors

Patrizia Asirelli

This author has not been identified. Look up 'Patrizia Asirelli' in Google

Stefania Gnesi

This author has not been identified. Look up 'Stefania Gnesi' in Google

Maria Cristina Rossi

This author has not been identified. Look up 'Maria Cristina Rossi' in Google
runs on