BLOM, Stefan; KANT, Gijs; RENSINK, Arend. Distributed Graph-Based State Space Generation. Electronic Communications of the EASST, [S. l.], v. 32, 2011. DOI: 10.14279/tuj.eceasst.32.521. Disponível em: https://eceasst.org/index.php/eceasst/article/view/1715. Acesso em: 22 dec. 2024.