Towards Formal Specification of Agent-based Transport Models.

Jelle Kbler, Peter Vortisch

Browse the full ANT paper archive.