Citação APA (7ª ed.)

Schrammel, P., & Jeannet, B. (2012). Applying abstract acceleration to (co−)reachability analysis of reactive programs.

Citação do estilo Chicago (17ª ed.)

Schrammel, P., e B. Jeannet. Applying Abstract Acceleration to (co−)reachability Analysis of Reactive Programs. 2012.

Citação MLA (9ª ed.)

Schrammel, P., e B. Jeannet. Applying Abstract Acceleration to (co−)reachability Analysis of Reactive Programs. 2012.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.