APA (7th ed.) Citation

ter Beek, M. H., Damiani, F., Lienhardt, M., Mazzanti, F., Paolini, L., & Scarso, G. (2022). FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC. Science of Computer Programming, 224, N.PAG. https://doi.org/10.1016/j.scico.2022.102879

Chicago Style (17th ed.) Citation

ter Beek, Maurice H., Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini, and Giordano Scarso. "FTS4VMC: A Front-end Tool for Static Analysis and Family-based Model Checking of FTSs with VMC." Science of Computer Programming 224 (2022): N.PAG. https://doi.org/10.1016/j.scico.2022.102879.

MLA (9th ed.) Citation

ter Beek, Maurice H., et al. "FTS4VMC: A Front-end Tool for Static Analysis and Family-based Model Checking of FTSs with VMC." Science of Computer Programming, vol. 224, 2022, p. N.PAG, https://doi.org/10.1016/j.scico.2022.102879.