Login / Signup

A formal verification approach to the design of synthetic gene networks.

Boyan YordanovCalin Belta
Published in: CDC/ECC (2011)
Keyphrases
  • formal verification
  • model checking
  • databases
  • model checker
  • microarray data
  • gene networks