Les réseaux d'automates booléens au coeur du calcul naturel
Kévin Perrot et Sylvain Sené
[Bibtex]
N°20, Novembre 2022, pages 171-182
DOI:10.48556/SIF.1024.20.171