Ahmadi, M., Valmorbida, G., & Papachristodoulou, A. (2017). Safety verification for distributed parameter systems using barrier functionals. Elsevier.
Παραπομπή σε μορφή Chicago (17η εκδ.)Ahmadi, M., G. Valmorbida, και A. Papachristodoulou. Safety Verification for Distributed Parameter Systems Using Barrier Functionals. Elsevier, 2017.
Παραπομπή σε μορφή MLA (9th εκδ.)Ahmadi, M., et al. Safety Verification for Distributed Parameter Systems Using Barrier Functionals. Elsevier, 2017.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.