Login / Signup
Yingjia Ding
Publication Activity (10 Years)
Years Active: 1992-2001
Publications (10 Years): 0
</>
Publications
</>
Xudong He
,
Yingjia Ding
Object Orientation in Hierarchical Predicate Transition Nets.
Concurrent Object-Oriented Programming and Petri Nets
(2001)
Xudong He
,
Yingjia Ding
A Temporal Logic Approach for Analyzing Safety Properties of Predicate Transition Nets.
IFIP Congress (1)
(1992)