Conference
SHARING ACTIONS AND ATTRIBUTES IN MODAL ACTION LOGIC
Authors
RYAN M; FIADEIRO J; MAIBAUM T
Editors
ITO T; MEYER AR
Series
LECTURE NOTES IN COMPUTER SCIENCE
Volume
526
Pagination
pp. 569-593
Publisher
SPRINGER-VERLAG BERLIN
Publication Date
January 1, 1991
ISBN-10
3-540-54415-1
Name of conference
INTERNATIONAL CONF ON THEORETICAL ASPECTS OF COMPUTER SOFTWARE ( TACS 91 )
Conference place
SENDAI, JAPAN
Conference start date
September 24, 1991
Conference end date
September 27, 1991
Conference proceedings
THEORETICAL ASPECTS OF COMPUTER SOFTWARE