(1 - 9 from 10
)
Document sans nom
www.cril.univ-artois.fr
Model checking problem for knowledge and branching time. Wassila Ouerdane, Nicolas Maudet, Alexis Tsoukias. On the link between arguments and criteria ...
sorted by relevance / date