CLASSEN, Andreas, HEYMANS, Patrick, SCHOBBENS, Pierre-Yves und LEGAY, Axel, 2011. Symbolic model checking of software product lines. In: . 1 Mai 2011.
Elsevier - Harvard (with titles)Classen, A., Heymans, P., Schobbens, P.-Y., Legay, A., 2011. Symbolic model checking of software product lines, in: . https://doi.org/10.1145/1985793.1985838
American Psychological Association 7th editionClassen, A., Heymans, P., Schobbens, P.-Y., & Legay, A. (2011, Mai 1). Symbolic model checking of software product lines. https://doi.org/10.1145/1985793.1985838
Springer - Basic (author-date)Classen A, Heymans P, Schobbens P-Y, Legay A (2011) Symbolic model checking of software product lines
Juristische Zitierweise (Stüber) (Deutsch)Classen, Andreas/ Heymans, Patrick/ Schobbens, Pierre-Yves/ Legay, Axel, Symbolic model checking of software product lines, 2011, .