{"id":"2308.13081","title":"Formal specification terminology for demographic agent-based models of fixed-step single-clocked simulations","url":"https://codeofpaper.com/paper/2308.13081","arxiv_url":"https://arxiv.org/abs/2308.13081","published":"2023-08-24","code":"none","best":null,"most_starred_community":null,"implementations":[],"possible_matches":0}