Login / Signup

Modelling, property verification and behavioural equivalence of lactose operon regulation.

Marcelo Cezar PintoLuciana FossJosé Carlos Merino MombachLeila Ribeiro
Published in: Comput. Biol. Medicine (2007)
Keyphrases
  • model checking
  • face verification
  • data mining
  • machine learning
  • case study
  • complex systems
  • formal methods
  • formal analysis
  • verification method