Inheritance in LOTOS

Cite this paper

@inproceedings{Rudkin1991InheritanceIL, title={Inheritance in LOTOS}, author={Steve Rudkin}, booktitle={FORTE}, year={1991} }