Search results for: Koichiro Takayama
Cancer Letters > 2017 > 397 > C > 103-110
Lecture Notes in Computer Science > Computer Aided Verification > Automata-Theoretic Methods > 418-430
Journal of Molecular Biology > 2011 > 413 > 3 > 667-683
Formal Methods in System Design > 2002 > 21 > 1 > 95-101