Gaya APA

[et.al.], T, K. (2013). Automated Formal Verification of Routing in Material Handling Systems (VOL. 10, NO. 4, OCTOBER 2013). New York: IEEE.

Gaya MLA

[et.al.], Thomas, Klotz. "Automated Formal Verification of Routing in Material Handling Systems". VOL. 10, NO. 4, OCTOBER 2013 New York: IEEE, 2013. e-journal.