Search results for: Lijun Zhang
Formal Aspects of Computing > 2018 > 30 > 2 > 193-217
Formal Aspects of Computing > 2017 > 29 > 4 > 751-775
Formal Aspects of Computing > 2018 > 30 > 2 > 193-217
Formal Aspects of Computing > 2017 > 29 > 4 > 751-775