APA (7th ed.) Citation

León, H. P., Haar, S., & Longuet, D. (2014). Model-based testing for concurrent systems with labelled event structures. Software Testing: Verification & Reliability, 24(7), 558. https://doi.org/10.1002/stvr.1543

Chicago Style (17th ed.) Citation

León, Hernán Ponce, Stefan Haar, and Delphine Longuet. "Model-based Testing for Concurrent Systems with Labelled Event Structures." Software Testing: Verification & Reliability 24, no. 7 (2014): 558. https://doi.org/10.1002/stvr.1543.

MLA (9th ed.) Citation

León, Hernán Ponce, et al. "Model-based Testing for Concurrent Systems with Labelled Event Structures." Software Testing: Verification & Reliability, vol. 24, no. 7, 2014, p. 558, https://doi.org/10.1002/stvr.1543.