(1 - 11 from 12
)
ArtistDesign NoE - ATVA China 2006
www.artist-embedded.org
Farn Wang (National Taiwan University) Ji Wang (National U. of Techn. of China) Yi Wang (Uppsala University) Baowen Xu (Southeast University of China)
Automated Technology for Verification and Analysis
www-verimag.imag.fr
... (University of Pennsylvania); Doron A. Peled (University of Warwick); Farn Wang (National Taiwan University); Hsu-Chun Yen (National Taiwan University) ...
sorted by relevance / date