MLA
Valente, Junia, et al. "On Modeling and Verification of Agent-Based Traffic Simulation Properties in Alloy." IJATS vol.4, no.4 2012: pp.38-60. http://doi.org/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. http://doi.org/10.4018/jats.2012100103
Chicago
Valente, Junia, 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, no.4: 38-60. http://doi.org/10.4018/jats.2012100103
Export Reference