Junia Valente, Frederico Araujo, Rym Zalila-Wenkstern. On Modeling and Verification of Agent-Based Traffic Simulation Properties in Alloy. IJATS, 4(4):38-60, 2012. [doi]
@article{ValenteAZ12, title = {On Modeling and Verification of Agent-Based Traffic Simulation Properties in Alloy}, author = {Junia Valente and Frederico Araujo and Rym Zalila-Wenkstern}, year = {2012}, doi = {10.4018/jats.2012100103}, url = {http://dx.doi.org/10.4018/jats.2012100103}, researchr = {https://researchr.org/publication/ValenteAZ12}, cites = {0}, citedby = {0}, journal = {IJATS}, volume = {4}, number = {4}, pages = {38-60}, }