定时下推自动机和分支向量加法系统| IEEE会议出版物| IEEE Xplore