8393089
9783642118807
Puppis, Gabriele is the author of 'Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)', published 2010 under ISBN 9783642118807 and ISBN 3642118801.
[read more]