APA (7th ed.) Citation

Classen, A., Heymans, P., Schobbens, P., Legay, A., & Raskin, J. (2010). Model checking lots of systems: Efficient verification of temporal properties in software product lines. 2010 ACM/IEEE 32nd International Conference on Software Engineering, 1, 335-344. https://doi.org/10.1145/1806799.1806850

Chicago Style (17th ed.) Citation

Classen, Andreas, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, and Jean-François Raskin. "Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines." 2010 ACM/IEEE 32nd International Conference on Software Engineering 1 (2010): 335-344. https://doi.org/10.1145/1806799.1806850.

MLA (9th ed.) Citation

Classen, Andreas, et al. "Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines." 2010 ACM/IEEE 32nd International Conference on Software Engineering, vol. 1, 2010, pp. 335-344, https://doi.org/10.1145/1806799.1806850.