Hongping Lim
According to our database1,
Hongping Lim
authored at least 4 papers
between 2005 and 2008.
Collaborative distances:
Collaborative distances:
Timeline
2005
2006
2007
2008
0
1
2
3
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2008
Des. Autom. Embed. Syst., 2008
2006
Proceedings of the 6th International Workshop on Strategies in Automated Deduction, 2006
Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006
2005
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005