APA (7th ed.) Citation

Classen, A., Heymans, P., Schobbens, P., & Legay, A. (2011, May 21). Symbolic model checking of software product lines. 2011 33rd International Conference on Software Engineering (ICSE), 321-330. https://doi.org/10.1145/1985793.1985838

Chicago Style (17th ed.) Citation

Classen, Andreas, Patrick Heymans, Pierre-Yves Schobbens, and Axel Legay. "Symbolic Model Checking of Software Product Lines." 2011 33rd International Conference on Software Engineering (ICSE) 21 May. 2011: 321-330. https://doi.org/10.1145/1985793.1985838.

MLA (9th ed.) Citation

Classen, Andreas, et al. "Symbolic Model Checking of Software Product Lines." 2011 33rd International Conference on Software Engineering (ICSE), 21 May. 2011, pp. 321-330, https://doi.org/10.1145/1985793.1985838.