APA (7th ed.) Citation

Puppis, G. (2010). Automata for branching and layered temporal structures: An investigation into regularities of infinite transition systems. Springer.

Chicago Style (17th ed.) Citation

Puppis, Gabriele. Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems. Berlin, Heidelberg: Springer, 2010.

MLA (8th ed.) Citation

Puppis, Gabriele. Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems. Springer, 2010.