English Javier Esparza Cited by user KeC-Wiki on 29 Apr 2021 Francisco Javier Esparza Estaun is a Computer Scientist.
French Réduction par ordre partiel Cited by user Fschwarzentruber on 20 Dec 2018 En informatique, la réduction par ordre partiel est une technique pour éviter l'explosion d'états en vérification de modèles, en planification automatique.
English Partial order reduction Cited by user Aronisstav on 25 Jun 2018 In computer science, partial order reduction is a technique for reducing the size of the state-space to be searched by a model checking or Automated planning and…