Modeling agent-based traffic simulation properties in Alloy

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]

Authors

Frederico Araujo

This author has not been identified. Look up 'Frederico Araujo' in Google

Junia Valente

This author has not been identified. Look up 'Junia Valente' in Google

Rym Zalila-Wenkstern

This author has not been identified. Look up 'Rym Zalila-Wenkstern' in Google