A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems - Carlos Olarte; Camilo Rueda (CLEI Electronic Journal, 2006)
Abstract