Yunhui Ying

According to our database, Yunhui Ying authored at least 1 paper in 2017.

Collaborative distances:

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

2017

Towards SMT-based LTL model checking of clock constraint specification language for real-time and embedded systems.

Min Zhang, Yunhui Ying

Proceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, 2017