Skip to main content

Automata for Branching and Layered Temporal Structures: an investigation into regularities of infinite transition systems

Gabriele Puppis

Journal
FoLLI LNAI Monograph
Year
2010