Hu Shaoyu

According to our database, Hu Shaoyu authored at least 1 paper in 2003.

Collaborative distances:

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

2003

Model Checking in an Industrial Environment.

Eva Fordran, Matthias Fruth, Ulrich Hensel, Hu Shaoyu, Madabhushi Srinivasan

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003