Search results for: Yongjian Li
Formal Aspects of Computing > 2015 > 27 > 2 > 255-282
Formal Aspects of Computing > 2013 > 25 > 4 > 465-501
Formal Aspects of Computing > 2015 > 27 > 2 > 255-282
Formal Aspects of Computing > 2013 > 25 > 4 > 465-501