APA (7th ed.) Citation

Donaldson, A., Kaiser, A., Kroening, D., Tautschnig, M., & Wahl, T. (2012). Counterexample-guided abstraction refinement for symmetric concurrent programs. Formal Methods in System Design, 41(1), 25-44. https://doi.org/10.1007/s10703-012-0155-3

Chicago Style (17th ed.) Citation

Donaldson, Alastair, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, and Thomas Wahl. "Counterexample-guided Abstraction Refinement for Symmetric Concurrent Programs." Formal Methods in System Design 41, no. 1 (2012): 25-44. https://doi.org/10.1007/s10703-012-0155-3.

MLA (9th ed.) Citation

Donaldson, Alastair, et al. "Counterexample-guided Abstraction Refinement for Symmetric Concurrent Programs." Formal Methods in System Design, vol. 41, no. 1, 2012, pp. 25-44, https://doi.org/10.1007/s10703-012-0155-3.