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.

Experience with Z Developing a Control Program for a Radiation Therapy Machine

Jonathan Jacky, Jonathan Unger, Michael Patrick, David Reid, Ruedi Risler. Experience with Z Developing a Control Program for a Radiation Therapy Machine. In Jonathan P. Bowen, Michael G. Hinchey, David Till, editors, ZUM 97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings. Volume 1212 of Lecture Notes in Computer Science, pages 317-328, Springer, 1997.

Authors

Jonathan Jacky

This author has not been identified. Look up 'Jonathan Jacky' in Google

Jonathan Unger

This author has not been identified. Look up 'Jonathan Unger' in Google

Michael Patrick

This author has not been identified. Look up 'Michael Patrick' in Google

David Reid

This author has not been identified. It may be one of the following persons: Look up 'David Reid' in Google

Ruedi Risler

This author has not been identified. Look up 'Ruedi Risler' in Google
runs on