Results (1)

  • Model checking gene regulatory networks
    Conference paper