Frederico Araujo, Junia Valente, Rym Zalila-Wenkstern. Modeling agent-based traffic simulation properties in Alloy. In Levent Yilmaz, Tuncer I. Ören, editors, 2012 Spring Simulation Multiconference, SpringSim '12, Orlando, FL, USA - March 26-29, 2012, Proceedings of the 2012 Symposium on Agent Directed Simulation. pages 5, SCS/ACM, 2012. [doi]
@inproceedings{AraujoVZ12,
title = {Modeling agent-based traffic simulation properties in Alloy},
author = {Frederico Araujo and Junia Valente and Rym Zalila-Wenkstern},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2338781},
researchr = {https://researchr.org/publication/AraujoVZ12},
cites = {0},
citedby = {0},
pages = {5},
booktitle = {2012 Spring Simulation Multiconference, SpringSim '12, Orlando, FL, USA - March 26-29, 2012, Proceedings of the 2012 Symposium on Agent Directed Simulation},
editor = {Levent Yilmaz and Tuncer I. Ören},
publisher = {SCS/ACM},
isbn = {978-1-61839-783-6},
}