Jinlin Wu is an author at Xiamen University specializing in formal methods, automated reasoning, and technology.
Top concepts
BusinessMarketingE-businessManagementTechnologyAdvertisingEngineeringArts MarketsSemantic WebVerification
Publications per year
2004–2005
2
2
Study on Knowledge Base Verification Based on Petri Nets
Qingfeng Wu, Changle Zhou, Jinlin Wu et al. · 2005 · 10 citations
Petri Net, Engineering, Verification +18
Rows per page
1–2 of 2