TY  - RPRT
TI  - Relating Alternating Relations for Conformance and Refinement
AU  - Ramon Janssen
AU  - Frits Vaandrager
AU  - Jan Tretmans
PY  - 2019
DO  - 10.1007/978-3-030-40914-2_10
UR  - https://arxiv.org/abs/1909.13604
ID  - 1909.13604
ER  -