段钊
作品数： 7被引量：2H指数：1
  • 所属机构:西安电子科技大学
  • 所在地区:陕西省 西安市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

段振华
作品数：214被引量：245H指数：9
供职机构：西安电子科技大学计算机学院
研究主题：时序逻辑 形式化验证 命题投影时序逻辑 投影时序逻辑 语句
田聪
作品数：170被引量：79H指数：6
供职机构：西安电子科技大学计算机学院
研究主题：时序逻辑 语句 命题投影时序逻辑 词法 形式化建模
作品列表