Yaping Jing

  • Citations Per Year
Learn More
ETHNOPHARMACOLOGICAL RELEVANCE Bawei Xileisan (BXS), a traditional Chinese compound medicine, has been historically used in the treatment of ulcers and inflammation. BXS is also used as a topical agent for the treatment of ulcerative colitis in China. The underlying mechanism, however, remains elusive. MATERIALS AND METHODS Thirty-six female C57BL/6 mice(More)
In computer science, model checking refers to a computation process that, given a formal structure, checks whether the structure satisfies a logic formula which encodes certain properties. If the structure is a discrete state system and the interested properties depend only on which states to be reached, not on the time or probability to reach them,(More)
  • 1