Automata for Branching and Layered Temporal Structures : An Investigation into Regularities of Infinite Transition Systems

Bok av Gabriele. Puppis