@misc{indiciae0fc5d431201b,
  title = {A Linear-Time Branching-Time Spectrum for Behavioral Specification Theories},
  author = {Uli Fahrenberg and Axel Legay},
  year = {2019},
  url = {https://arxiv.org/abs/1604.06503},
  note = {Source identifier: 1604.06503}
}