Login / Signup

"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis.

Gustavo ArellanoJulián ArgilEugenio AzpeitiaMariana BenítezMiguel CarrilloPedro Arturo GóngoraDavid A. RosenbluethElena R. Álvarez-Buylla
Published in: BMC Bioinform. (2011)
Keyphrases
  • model checking
  • model checker
  • epistemic logic
  • temporal logic
  • data analysis
  • artificial intelligence
  • machine learning
  • expert systems
  • modal logic