Sharing actions and attributes in modal action logic
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 569-593
- https://doi.org/10.1007/3-540-54415-1_65
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Describing, structuring and implementing objectsPublished by Springer Nature ,1991
- The prescription and description of state based systemsPublished by Springer Nature ,1989