2002
Ce document est lié à :
0988-3754
Julien Bernet et al., « Permissive strategies : from parity games to safety games », RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, ID : 10670/1.bb4ac1...