A Petri Net-Based Model for Verification
โ
YuYue Du; ChangJun Jiang; MengChu Zhou
๐
Article
๐
2009
๐
IEEE
๐
English
โ 291 KB