Interactive Systems: Design, Specification, and Verification: 10th International Workshop, Dsv-Is 2003, Funchal,Madeira Islands,Portugal,June 11-13 2003: Revised Papers (Lecture Notes in Computer Science, 2844)

  • Authors:

  • Nuno Jardim Nunes;Joao Falcao E. Cunha;Joaquim Jorge

  • Affiliations:

  • -;-;-

  • Venue:
  • Interactive Systems: Design, Specification, and Verification: 10th International Workshop, Dsv-Is 2003, Funchal,Madeira Islands,Portugal,June 11-13 2003: Revised Papers (Lecture Notes in Computer Science, 2844)
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract