Skip to Main content Skip to Navigation
Directions of work or proceedings

Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September 2019

Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02390643
Contributor : Jérôme Leroux <>
Submitted on : Tuesday, December 3, 2019 - 11:08:16 AM
Last modification on : Tuesday, December 8, 2020 - 10:07:07 AM

Links full text

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

40