par Filiot, Emmanuel ;Mazzocchi, Nicolas ;Raskin, Jean-François
Référence International journal of foundations of computer science, 31, 6, page (711-748)
Publication Publié, 2020-01-01
Article révisé par les pairs