Daling Xu

According to our database, Daling Xu authored at least 1 paper in 2001.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2001

Using a Model Checker to Test Safety Properties.

Paul Ammann, Wei Ding, Daling Xu

Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 2001