Automated verification of temporal dialogue properties

  • Authors:
  • Gregory D. Abowd;Lein Ton

  • Affiliations:
  • -;-

  • Venue:
  • ACM SIGCHI Bulletin
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract