著者
G.M. White
編者
S Gibbs, A. A. Verrighn-Stuart
タイトル
A formal method for specifying temporal properties of the multi-user interface
書籍
Proceedings of IFIP WG8.4 Conference on Multi-User Interfaces and Applications
日時
1990
出版
North Holland
カテゴリ
CSCW
Category: CSCW
Bibtype: InProceedings
Booktitle: Proceedings of IFIP WG8.4 Conference on
        Multi-User Interfaces and Applications
Author: G.M. White
Title: A formal method for specifying temporal properties of
        the multi-user interface
Editor: S Gibbs
        A. A. Verrighn-Stuart
Year: 1990
Address: Crete
Publisher: North Holland