Original language | English |
---|---|
Pages (from-to) | 569-593 |
Number of pages | 25 |
Journal | Lecture Notes in Computer Science |
Volume | 526 |
Publication status | Published - 1991 |
Sharing attributes and actions in modal action logic
M RYAN, J FIADEIRO, T MAIBAUM
Research output: Contribution to journal › Article › peer-review