MLA
Valente, Junia,et al. "On Modeling and Verification of Agent-Based Traffic Simulation Properties in Alloy." IJATS 4.4 (2012): 38-60. Web. 28 Jan. 2021. doi:10.4018/jats.2012100103
APA
Valente, J., Araujo, F., & Wenkstern, R. Z. (2012). On Modeling and Verification of Agent-Based Traffic Simulation Properties in Alloy. International Journal of Agent Technologies and Systems (IJATS), 4(4), 38-60. doi:10.4018/jats.2012100103
Chicago
Valente, Junia and Frederico Araujo, and Rym Z. Wenkstern. "On Modeling and Verification of Agent-Based Traffic Simulation Properties in Alloy," International Journal of Agent Technologies and Systems (IJATS) 4 (2012): 4, accessed (January 28, 2021), doi:10.4018/jats.2012100103
Export Reference
