Kehoe, Joseph (2017) Replication in agent based models using formal methods and multiple updating strategies. PhD thesis, Dublin City University.