Παραπομπή σε μορφή APA (7η εκδ.)

Amparore, E., Barbot, B., Beccuti, M., Donatelli, S., & Franceschinis, G. (2013). Simulation−based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets. ACM.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Amparore, E., B. Barbot, M. Beccuti, S. Donatelli, και G. Franceschinis. Simulation−based Verification of Hybrid Automata Stochastic Logic Formulas for Stochastic Symmetric Nets. ACM, 2013.

Παραπομπή σε μορφή MLA (9th εκδ.)

Amparore, E., et al. Simulation−based Verification of Hybrid Automata Stochastic Logic Formulas for Stochastic Symmetric Nets. ACM, 2013.