Reihe Lecture Notes in Artificial IntelligenceGabriele Puppis × Automata for Branching and Layered Temporal StructuresAn Investigation into Regularities of Infinite Transition SystemsGabriele PuppisSpringer BerlinSoftcover2010 Automata for Branching and Layered Temporal StructuresAn Investigation into Regularities of Infinite Transition SystemsGabriele PuppisSpringer BerlineBook2010