时间自动机与信号自动机的互模拟算法
朱维军 刘保罗 周清雷
Algorithm of Bisimulation Between Timed Automata and Signal Automata
Zhu Wei-jun Liu bao-luo Zhou Qing-lei
华南理工大学学报（自然科学版） . 2008, (5): 38 -42 . 

总访问量
今日访问
在线人数
粤ICP备05084312号
版权所有 © 华南理工大学学报编辑部
地址：广州 五山 华南理工大学17号楼 　邮编：510640
电 话：020-87111794　E-mail : journal@scut.edu.cn
  • 微信号：Journalscut
  • QQ群：699235083