Cita APA (7a ed.)
Gabriele Puppis. Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems. Springer.
Cita estilo Chicago (17a ed.)
Gabriele Puppis. Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Gabriele Puppis. Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems. Springer.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.