Specification and Verification of Dynamics in Agent Models

by Tibor Bosse , Catholijn M. Jonker , Lourens van der Meij , Alexei Sharpanskykh , Jan Treur
Citations:59 - 46 self