Formal specification supporting incremental and flexible agent-based modeling.

Jang Won Bae, GeunHo Lee, Il-Chul Moon

Browse the full WSC paper archive.