TY  - RPRT
TI  - A Linear-Time Branching-Time Spectrum for Behavioral Specification Theories
AU  - Uli Fahrenberg
AU  - Axel Legay
PY  - 2019
UR  - https://arxiv.org/abs/1604.06503
ID  - 1604.06503
ER  -