混合系统的形式化验证<sup>1)</sup> 期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

按检索

混合系统的形式化验证¹⁾

引用本文：	高建平,陈宗基.混合系统的形式化验证¹⁾[J].北京航空航天大学学报

作者姓名：	高建平陈宗基

摘要：