Bruno Mermet, Gaële Simon. Vers une aide au débuggage des SMA par l'exploitation d'échecs de preuve. In Catherine Garbay, Grégory Bonnet, editors, Cohésion : fondement ou propriété émergente - JFSMA 17 - Vingt-cinquièmes journées francophones sur les systèmes multi-agents, Caen, France, July 4-6, 2017. pages 139-148, Cépaduès Éditions, 2017.
Abstract is missing.