发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE 2011 IEEE International Conference on Computer Science and Automation Engineering (CSAE) - Shanghai, China (2011.06.10-2011.06.12)] 2011 IEEE International Conference on Computer Science and Automation Engineering - A quasi-local algorithm for checking bisimilarity

[IEEE 2011 IEEE International Conference on Computer Science and Automation Engineering (CSAE) - Shanghai, China (2011.06.10-2011.06.12)] 2011 IEEE International Conference on Computer Science and Automation Engineering - A quasi-local algorithm for checking bisimilarity

Du, Wenjie; Deng, Yuxin

作者Du, Wenjie; Deng, Yuxin
文件大小128.81KB
发表时间2011
DOI10.1109/csae.2011.5952411
页码1-5

← 返回【学霸图书馆】主页