APA (7th ed.) Citation

Schrammel, P., & Jeannet, B. (2011). Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs. Springer.

Chicago Style (17th ed.) Citation

Schrammel, P., and B. Jeannet. Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs. Springer, 2011.

MLA (9th ed.) Citation

Schrammel, P., and B. Jeannet. Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs. Springer, 2011.

Warning: These citations may not always be 100% accurate.