N°Spécial De Revue/Special Issue
Electronic Proceedings in Theoretical Computer Science
Année : 2019
Jérôme Leroux : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02390643
Soumis le : mardi 3 décembre 2019-11:08:16
Dernière modification le : vendredi 24 mars 2023-14:53:14
Citer
Jérôme Leroux, Jean-François Raskin. Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September 2019. Electronic Proceedings in Theoretical Computer Science, 305, 2019, ⟨10.4204/EPTCS.305⟩. ⟨hal-02390643⟩
14
Consultations
0
Téléchargements