Hilaire, Mathieu, 1994-....
VIAF ID: 72167622409003342347 ( Personal )
Permalink: http://viaf.org/viaf/72167622409003342347
Preferred Forms
Works
Title | Sources |
---|---|
Jeux de parité et problème d'accessibilité dans des systèmes à infinité d'états avec paramètres. | |
Parity games and reachability in infinite-state systems with parameters |