|
|
| Current Search |
((ALL：Lin Huimin)) |
| Filters |
none |
acad sci czech republic, inst comp sci, charles univ, fac math & phys, act m agcy, ca, ibm, profinit, sun, microsoft(1)
|
acm sig embedded syst, acm sig design automat, ieee circuits & syst soc, ieee council elect design automat, ieee france, inria, texas instruments, arcsis, bluespec, nokia, reg provence alpes cote azur(1)
|
formal methods europe, macao polytech inst, united natl univ(1)
|
ieee comp soc, ieee, ifip, nanjing univ(1)
|
ieee comp soc, ifip, tianjin normal univ(1)
|
inst comp theory & technol, xidian univ(1)
|
institute of software, chinese academy of sciences, iscas(1)
|
national natural science foundation of china60721061; australian research council (arc)lx0776490(1)
|
|
