2. 标签
  3. kripke

  • kripke structure

    唠叨几句 目前在学习模型验证，导师给了一本书Handbook of Model Checking 2018 一本文献综述看，都是英文的，看的很慢。里面有数学推导过程&
    kripke Structure
    admin 8月前
    111 0