화학공학소재연구정보센터
IEEE Transactions on Automatic Control, Vol.64, No.4, 1768-1768, 2019
On the Decidability and Complexity of Diagnosability for Labeled Petri Nets (vol 62, pg 5931, 2017)