A formal method for specifying temporal properties of the multi-user interface

• Authors:

• George M. White

• Affiliations:

• -

• Venue:
• Proceedings of the IFIP WG 8.4 confernece on Multi-user interfaces and applications
• Year:
• 1990