Sharing attributes and actions in modal action logic

M RYAN, J FIADEIRO, T MAIBAUM

Research output: Contribution to journalArticlepeer-review

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

Cite this