@misc{indiciae90109a70b635,
  title = {Equivalence Checking and Intersection of Deterministic Timed Finite State Machines},
  author = {Davide Bresolin and Khaled El-Fakih and Tiziano Villa and Nina Yevtushenko},
  year = {2021},
  url = {https://arxiv.org/abs/2103.04868},
  note = {Source identifier: 2103.04868}
}