SHARING ACTIONS AND ATTRIBUTES IN MODAL ACTION LOGIC Conferences

authors

• RYAN, M
• FIADEIRO, J
• Maibaum, Thomas

status

• published 

publication date

• January 1, 1991

published in

• THEORETICAL ASPECTS OF COMPUTER SOFTWARE  Journal

presented at event

• INTERNATIONAL CONF ON THEORETICAL ASPECTS OF COMPUTER SOFTWARE ( TACS 91 )  Conference

keywords

• Engineering
• Engineering, Electrical & Electronic
• Mathematics
• Mathematics, Applied
• Physical Sciences
• Science & Technology
• Technology

International Standard Book Number (ISBN) 10

• 3-540-54415-1

start page

• 569

end page

• 593

volume

• 526