@article{3954,
  title = "Automata for Branching and Layered Temporal Structures: an investigation into regularities of infinite transition systems",
  author = "Gabriele Puppis",
  year = "2010",
  journal = "FoLLI LNAI Monograph",
}