Search results for: Lei Bu
IEEE Transactions on Computers > 2017 > 66 > 3 > 416 - 430
Formal Methods in System Design > 2014 > 45 > 1 > 42-62
Science China Information Sciences > 2012 > 55 > 12 > 2663-2674
International Journal on Software Tools for Technology Transfer > 2011 > 13 > 4 > 307-317
Electronic Notes in Theoretical Computer Science > 2007 > 174 > 3 > 57-70