Citazione Stile APA (7a Edizione)

Arias, J., Bae, K., Olarte, C., Ölveczky, P. C., & Petrucci, L. (2024). A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets.

Citazione stile Chigago Style (17a edizione)

Arias, Jaime, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, e Laure Petrucci. A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets. 2024.

Citatione MLA (9a ed.)

Arias, Jaime, et al. A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets. 2024.