APA (7 ম সংস্করণ) উদ্ধৃতি

Mufid, M., Micheli, A., Abate, A., & Cimatti, A. (2021). SMT-based model checking of max-plus linear systems. Schloss Dagstuhl.

শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতি

Mufid, MSU, A. Micheli, A. Abate, এবং A. Cimatti. SMT-based Model Checking of Max-plus Linear Systems. Schloss Dagstuhl, 2021.

M.L.A (9 ম সংস্করণ) উদ্ধৃতি

Mufid, MSU, et al. SMT-based Model Checking of Max-plus Linear Systems. Schloss Dagstuhl, 2021.