skip to main content

1-Safe Petri Nets and Special Cube Complexes: Equivalence and Applications

Chalopin, Jérémie ; Chepoi, Victor

ACM Transactions on Computational Logic (TOCL), 16 July 2019, Vol.20(3), pp.1-49 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por

Identifique-se para postar sua resenha

Identifique-se para adicionar novas tags

Buscando em bases de dados remotas. Favor aguardar.