Jin Hou, Ph.D.
Affiliations: | 2002 | Université de Montréal, Montréal, Canada |
Area:
Computer ScienceGoogle:
"Jin Hou"Parents
Sign in to add mentor| Eduard Cerny | grad student | 2002 | Université de Montréal | |
| (Model reductions in MDG-based model checking.) | ||||
Affiliations: | 2002 | Université de Montréal, Montréal, Canada |
| Eduard Cerny | grad student | 2002 | Université de Montréal | |
| (Model reductions in MDG-based model checking.) | ||||