Matrix expression and reachability analysis of finite automata
Xiangru XU
Yiguang HONG
机标关键词：finite automatareachability analysis
资助基金：the National Natural Science Foundation of China (61174071)
论文发表日期：2012-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：6( 210-215 )
英文信息