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.

Specification and Verification of Media Constraints using UPAAL

Howard Bowman, Giorgio P. Faconti, Mieke Massink. Specification and Verification of Media Constraints using UPAAL. In Panos Markopoulos, Peter Johnson, editors, Design, Specification and Verification of Interactive Systems 98, Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom. Volume 1 of pages 261-277, Springer, 1998.

Abstract

Abstract is missing.

runs on