TY  - RPRT
TI  - The Coarsest Precongruences Respecting Safety and Liveness Properties
AU  - Rob van Glabbeek
PY  - 2018
DO  - 10.1007/978-3-642-15240-5_3
UR  - https://arxiv.org/abs/1007.5491
ID  - 1007.5491
ER  -