@misc{indiciae72af3247079c,
  title = {Behavioral Analysis of Timed Actors using Syntactic Slice Equivalence},
  author = {Ali Ataollahi and Fatemeh Ghassemi and Eduard Kamburjan and Marjan Sirjani},
  year = {2026},
  url = {https://arxiv.org/abs/2609.17840},
  note = {Source identifier: 2609.17840}
}