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.

A Simplified Z Semantics for Presentation Interaction Models

Judy Bowen, Steve Reeves. A Simplified Z Semantics for Presentation Interaction Models. In Cliff B. Jones, Pekka Pihlajasaari, Jun Sun 0001, editors, FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Volume 8442 of Lecture Notes in Computer Science, pages 148-162, Springer, 2014. [doi]

Authors

Judy Bowen

This author has not been identified. Look up 'Judy Bowen' in Google

Steve Reeves

This author has not been identified. It may be one of the following persons: Look up 'Steve Reeves' in Google
runs on