Liste des citations dans Numdam pour : A unified approach to control problems in discrete event processes

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 27 (1993), p. 555-573 / Harvested from Numdam

Bernet, Julien ; Janin, David ; Walukiewicz, Igor

Permissive strategies : from parity games to safety games
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 36 (2002), p. 261-275 / Harvested from Numdam