We stand with Ukraine  

Hong Zhang

Affiliations:
  • McMaster University, Software Quality Research Lab, Hamilton, ON, Canada


According to our database1, Hong Zhang authored at least 2 papers between 2004 and 2006.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2006
Towards Integrated Verification of Timed Transition Models.
[BibTeX]
[DOI]
Mark Lawford
,
Vera Pantelic
,
Hong Zhang
Fundam. Informaticae, 2006

2004
Equivalence Verification of Timed Transition Models.
[BibTeX]
[DOI]
Mark Lawford
,
Hong Zhang
Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004


  Loading...