Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides

Alexander Bockmayr, Arnaud Courtois. Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides. In Michel Rueher, editor, Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France. pages 167, 2002.

Abstract

Abstract is missing.