Manini, A., Rossi, M., & Pietro, P. S. (2025). Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation.
Citazione stile Chigago Style (17a edizione)Manini, Andrea, Matteo Rossi, e Pierluigi San Pietro. Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation. 2025.
Citatione MLA (9a ed.)Manini, Andrea, et al. Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.