Claus Pahl. Modal Logics for Reasoning about Object-based Component Composition. In David Sinclair, J. Paul Gibson, editors, 4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000. Workshops in Computing, BCS, 2000. [doi]
@inproceedings{Pahl00,
title = {Modal Logics for Reasoning about Object-based Component Composition},
author = {Claus Pahl},
year = {2000},
url = {http://ewic.bcs.org/conferences/2000/4thformal/papers/paper4.htm},
tags = {rule-based, modal logic, composition, logic},
researchr = {https://researchr.org/publication/Pahl00},
cites = {0},
citedby = {0},
booktitle = {4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000},
editor = {David Sinclair and J. Paul Gibson},
series = {Workshops in Computing},
publisher = {BCS},
}