Survey on semi‐tensor product method with its applications in logical networks and other finite‐valued systems 论文
2017IET Control Theory and Applications引用 221顶会
Gene Regulatory Network AnalysisFormal Methods in VerificationEmbedded Systems Design Techniques