TY - CHAP
T1 - On Behavioural Subtyping in LOTOS
T2 - IFIP Advances in Information and Communication Technology
PY - 1997/02/03
AU - Bowman H
AU - Briscoe-Smith C
AU - Derrick J
AU - Strulo B
ED -
DO - DOI: 10.1007/978-0-387-35261-9_23
PB - Springer US
SN - 9781504129527
SP - 335
EP - 351
Y2 - 2025/08/11
ER -