Showing 1 - 2 results of 2 for search 'Esparza, Javier', 查询时间: 0.01s Refine Results
  1. 1
    Unfolding a partial-order approach to model checking
    由 Esparza, Javier
    出版 2008
    Printed Book
  2. 2
    Finite and algorithmic model theory /
    出版 2011
    其他作者: “...Esparza, Javier...”
    Cover image
    Printed Book
检索工具: 得到RSS订阅 — 推荐此搜索