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.

Verification of Interactive System Using Algebraic Specification

Francisco Luis Gutiérrez Vela, Miguel Gea, Juan Carlos Torres. Verification of Interactive System Using Algebraic Specification. In Panos Markopoulos, Peter Johnson, editors, Design, Specification and Verification of Interactive Systems 98, Supplementary Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom. Volume 2 of pages 68-84, Eurographics Association, 1998.

Authors

Francisco Luis Gutiérrez Vela

This author has not been identified. Look up 'Francisco Luis Gutiérrez Vela' in Google

Miguel Gea

This author has not been identified. Look up 'Miguel Gea' in Google

Juan Carlos Torres

This author has not been identified. Look up 'Juan Carlos Torres' in Google
runs on