Skip to content

Yan Chen

    • 5PublicationsNumber of items in Yan's My Publications folder on Mendeley.
    • 1Followers

    Recent publications

    • Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation

      • Chen Y
      • Xie F
      • Yang J
      N/AReaders
      N/ACitations
      Get full text
    • An efficient search algorithm for partially ordered sets

      • Chen Y
      N/AReaders
      N/ACitations

    Followers (1)

    Following (1)