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.

ASDE: Design of a Transformational Environment for LOTOS

Gonzalo León, Carlos Delgado Kloos, G. González, M. A. Ruz, Saturnino Marchena Rodriguez, L. Santos, J. Navarro. ASDE: Design of a Transformational Environment for LOTOS. In Son T. Vuong, editor, Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 89, Vancouver, BC, Canada, 5-8 December, 1989. pages 501-515, North-Holland, 1989.

Authors

Gonzalo León

This author has not been identified. Look up 'Gonzalo León' in Google

Carlos Delgado Kloos

This author has not been identified. Look up 'Carlos Delgado Kloos' in Google

G. González

This author has not been identified. Look up 'G. González' in Google

M. A. Ruz

This author has not been identified. Look up 'M. A. Ruz' in Google

Saturnino Marchena Rodriguez

This author has not been identified. Look up 'Saturnino Marchena Rodriguez' in Google

L. Santos

This author has not been identified. Look up 'L. Santos' in Google

J. Navarro

This author has not been identified. Look up 'J. Navarro' in Google
runs on