Mufid, M., Micheli, A., Abate, A., & Cimatti, A. (2021). SMT-based model checking of max-plus linear systems. Schloss Dagstuhl.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Mufid, MSU, A. Micheli, A. Abate, và A. Cimatti. SMT-based Model Checking of Max-plus Linear Systems. Schloss Dagstuhl, 2021.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Mufid, MSU, et al. SMT-based Model Checking of Max-plus Linear Systems. Schloss Dagstuhl, 2021.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.