Puppis, G. (2010). Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems. Springer Berlin Heidelberg.
Chicago Style (17th ed.) CitationPuppis, Gabriele. Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.
MLA (8th ed.) CitationPuppis, Gabriele. Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems. Springer Berlin Heidelberg, 2010.
Warning: These citations may not always be 100% accurate.
