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

相关作者

段振华
作品数：208被引量：227H指数：8
供职机构：西安电子科技大学
研究主题：时序逻辑 语句 形式化验证 命题投影时序逻辑 投影时序逻辑
田聪
作品数：161被引量：59H指数：4
供职机构：西安电子科技大学
研究主题：时序逻辑 语句 命题投影时序逻辑 词法 形式化建模
作品列表