APA (7th ed.) Citation

ter Beek, M. H., Damiani, F., Lienhardt, M., Mazzanti, F., & Paolini, L. (2022). Efficient static analysis and verification of featured transition systems. Empirical Software Engineering, 27(1), 1. https://doi.org/10.1007/s10664-020-09930-8

Chicago Style (17th ed.) Citation

ter Beek, Maurice H., Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, and Luca Paolini. "Efficient Static Analysis and Verification of Featured Transition Systems." Empirical Software Engineering 27, no. 1 (2022): 1. https://doi.org/10.1007/s10664-020-09930-8.

MLA (9th ed.) Citation

ter Beek, Maurice H., et al. "Efficient Static Analysis and Verification of Featured Transition Systems." Empirical Software Engineering, vol. 27, no. 1, 2022, p. 1, https://doi.org/10.1007/s10664-020-09930-8.