Nathalie Chabrier, François Fages. Model Checking symbolique de réseaux bio-chimiques. In Mireille Ducassé, editor, Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003. pages 155-168, Hermes/Lavoisier, 2003.
Abstract is missing.