Chuanliang Xia, Bin Shen, Hailin Zhang, Yigui Wang. Liveness and Boundedness Preservations of Sharing Synthesis of Petri Net Based Representation for Embedded Systems. Comput. Syst. Sci. Eng., 33(5):345-350, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.