Sharing attributes and actions in modal action logic. / RYAN, M ; FIADEIRO, J ; MAIBAUM, T .

In: Lecture Notes in Computer Science, Vol. 526, 1991, p. 569-593.

Research output: Contribution to journalArticle

Published
Original languageEnglish
Pages (from-to)569-593
Number of pages25
JournalLecture Notes in Computer Science
Volume526
Publication statusPublished - 1991

ID: 7200532