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.

An Interactive Programming Environment for LOTOS

Paul de Jager, Willem Jonker, Albert Wammes, Johan Wester. An Interactive Programming Environment for LOTOS. In Juan Quemada, José A. Mañas, Enrique Vázquez, editors, Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 90, Madrid, Spain, 5-8 November 1990. pages 581-584, North-Holland, 1990.

Authors

Paul de Jager

This author has not been identified. Look up 'Paul de Jager' in Google

Willem Jonker

This author has not been identified. Look up 'Willem Jonker' in Google

Albert Wammes

This author has not been identified. Look up 'Albert Wammes' in Google

Johan Wester

This author has not been identified. Look up 'Johan Wester' in Google
runs on