APA (7th ed.) Citation

Bäumler, S., Balser, M., Nafz, F., Reif, W., & Schellhorn, G. (2010). Interactive verification of concurrent systems using symbolic execution. AI Communications, 23(2/3), 285. https://doi.org/10.3233/AIC-2010-0458

Chicago Style (17th ed.) Citation

Bäumler, Simon, Michael Balser, Florian Nafz, Wolfgang Reif, and Gerhard Schellhorn. "Interactive Verification of Concurrent Systems Using Symbolic Execution." AI Communications 23, no. 2/3 (2010): 285. https://doi.org/10.3233/AIC-2010-0458.

MLA (9th ed.) Citation

Bäumler, Simon, et al. "Interactive Verification of Concurrent Systems Using Symbolic Execution." AI Communications, vol. 23, no. 2/3, 2010, p. 285, https://doi.org/10.3233/AIC-2010-0458.