陈玉峰,李志武
西安电子科技大学学报[1001-2400], Published 2010, Issue 01, Pages 119-124+141
收錄情况： CNKI
2.Computation of marking/transition separation instances for safe Petri nets using BDD
Chen, YuFeng, Li, Zh More...
Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University[1001-2400], Published 2010, Volume 37, Issue 1,
收錄情况： SCOPUS
本系統需要使用 Internet Explorer 9.0 以上Firefox || Chrome瀏覽器
Copyright © 2018 澳門科技大學學者庫