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