Automates Distribués et Logique
Fabian Reiter
[Bibtex]
N°13, Avril 2019, pages 143-148
DOI:10.48556/SIF.1024.13.143