Yingjia Ding

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2001

2 Xudong He, Yingjia Ding: Object Orientation in Hierarchical Predicate Transition Nets. Concurrent Object-Oriented Programming and Petri Nets 2001: 196-215

1992

1 Xudong He, Yingjia Ding: A Temporal Logic Approach for Analyzing Safety Properties of Predicate Transition Nets. IFIP Congress (1) 1992: 127-133

	2001
2		Xudong He, Yingjia Ding: Object Orientation in Hierarchical Predicate Transition Nets. Concurrent Object-Oriented Programming and Petri Nets 2001: 196-215
	1992
1		Xudong He, Yingjia Ding: A Temporal Logic Approach for Analyzing Safety Properties of Predicate Transition Nets. IFIP Congress (1) 1992: 127-133

Coauthor Index

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page