Christine Hang

According to our database, Christine Hang authored at least 1 paper in 2011.

Collaborative distances:

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

2011

Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints.

Christine Hang, Panagiotis Manolios, Vasilis Papavasileiou

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011