External Links

Cite Key

Statistics

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

PDF

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.

Una formalizacion algebraica de la notacion objectcharts : validacion y verificacion de especificaciones orientadas a objetos de sistemas reactivos

B. Grima, José Ambrosio Toval Álvarez. Una formalizacion algebraica de la notacion objectcharts : validacion y verificacion de especificaciones orientadas a objetos de sistemas reactivos. In María Alpuente, Roberto Barbuti, Isidro Ramos, editors, 1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 2. pages 176-190, 1994.

Authors

B. Grima

This author has not been identified. Look up 'B. Grima' in Google

José Ambrosio Toval Álvarez

This author has not been identified. Look up 'José Ambrosio Toval Álvarez' in Google
runs on