arrow
返回
W

Watcharin Leungwattanakit

Chiba University

5H指数
16论文数
106被引数
收录论文 1
发表时间
Modular Software Model Checking for Distributed Systems
err2014-05-01
err20
errOAAI
errLeungwattanakit, Watcharin; Artho, Cyrille; Hagiya, Masami; Tanabe, Yoshinori; Yamamoto, Mitsuharu; Takahashi, Koichi
err分享
err收藏