共 50 条
- [22] Elements of a computational infrastructure for social simulation Philos. Trans. R. Soc. A Math. Phys. Eng. Sci., 1925 (3797-3812):
- [26] Digitization in infrastructure, a necessary and possible investment Carreteras, 2016, 4 (206): : 81 - 82
- [28] Verification games: Making verification fun Proceedings for FTfJP 2012: The 14th Workshop on Formal Techniques for Java-Like Programs - Co-located with ECOOP 2012 and PLDI 2012, Papers Presented at the Workshop, 2012, : 42 - 49
- [29] Ontology for Virtualization of Lean Construction Games Lean Construction Journal, 2022, 2022 : 1 - 23