Search results for: Zhiming Liu
Innovations in Systems and Software Engineering > 2013 > 9 > 1 > 3-16
Theoretical Computer Science > 2012 > 455 > Complete > 31-65
International Journal on Software Tools for Technology Transfer > 2012 > 14 > 6 > 631-638
Electronic Notes in Theoretical Computer Science > 2007 > 187 > Complete > 145-159
Theoretical Computer Science > 2006 > 365 > 1-2 > 109-142
Electronic Notes in Theoretical Computer Science > 2005 > 130 > Complete > 57-77
Formal Aspects of Computing > 2004 > 16 > 2
Formal Aspects of Computing > 2004 > 16 > 2 > 140-154
Theoretical Computer Science > 2001 > 253 > 1 > 119-152