Formal specification supporting incremental and flexible agent-based modeling

Jang Won Bae, Geunho Lee, Il-Chul Moon. Formal specification supporting incremental and flexible agent-based modeling. In Oliver Rose, Adelinde M. Uhrmacher, editors, Winter Simulation Conference, WSC '12, Berlin, Germany, December 9-12, 2012. pages 414, WSC, 2012. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.