Srinivas Neginhal, Suraj Kothari. Event Views and Graph Reductions for Understanding System Level C Code. In 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 24-27 September 2006, Philadelphia, Pennsylvania, USA. pages 279-288, IEEE Computer Society, 2006. [doi]
Abstract is missing.