BÄUMLER, Simon, BALSER, Michael, NAFZ, Florian, REIF, Wolfgang und SCHELLHORN, Gerhard, 2010. Interactive verification of concurrent systems using symbolic execution. AI Communications. 1 Juni 2010. Vol. 23, no. 2/3, p. 285-307. DOI 10.3233/AIC-2010-0458.
Elsevier - Harvard (with titles)Bäumler, S., Balser, M., Nafz, F., Reif, W., Schellhorn, G., 2010. Interactive verification of concurrent systems using symbolic execution. AI Communications 23, 285-307. https://doi.org/10.3233/AIC-2010-0458
American Psychological Association 7th editionBä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-307. https://doi.org/10.3233/AIC-2010-0458
Springer - Basic (author-date)Bäumler S, Balser M, Nafz F, Reif W, Schellhorn G (2010) Interactive verification of concurrent systems using symbolic execution.. AI Communications 23:285-307. https://doi.org/10.3233/AIC-2010-0458
Juristische Zitierweise (Stüber) (Deutsch)Bäumler, Simon/ Balser, Michael/ Nafz, Florian/ Reif, Wolfgang/ Schellhorn, Gerhard, Interactive verification of concurrent systems using symbolic execution., AI Communications 2010, 285-307.