TY  - CONF

T1  - Composition of LOTOS specifications.

JO  - PSTV

UR  - http://www.informatik.uni-trier.de/~ley/db/conf/pstv/pstv1995.html

PY  - 1995/01/01

AU  - Steen M

AU  - Bowman H

AU  - Derrick J

ED  - Dembinski P

ED  - Sredniawa M

PB  - Chapman & Hall

VL  - 38

SP  - 87

EP  - 102

Y2  - 2024/12/22

ER  -