Sign in

MIRACH: efficient model checker for quantitative biological pathway models.

Chuan Hock KohMasao NagasakiAyumu SaitoChen LiLimsoon WongSatoru Miyano
Published in: Bioinform. (2011)
Keyphrases
  • model checking
  • artificial intelligence
  • rough sets
  • temporal logic
  • biological data