APA (7th ed.) Citation

Rabanal, P., Rodríguez, I., & Rubio, F. (2013). Testing restorable systems: Formal definition and heuristic solution based on river formation dynamics. Formal Aspects of Computing, 25(5), 743. https://doi.org/10.1007/s00165-011-0206-3

Chicago Style (17th ed.) Citation

Rabanal, Pablo, Ismael Rodríguez, and Fernando Rubio. "Testing Restorable Systems: Formal Definition and Heuristic Solution Based on River Formation Dynamics." Formal Aspects of Computing 25, no. 5 (2013): 743. https://doi.org/10.1007/s00165-011-0206-3.

MLA (9th ed.) Citation

Rabanal, Pablo, et al. "Testing Restorable Systems: Formal Definition and Heuristic Solution Based on River Formation Dynamics." Formal Aspects of Computing, vol. 25, no. 5, 2013, p. 743, https://doi.org/10.1007/s00165-011-0206-3.