Search results for: Zhiming Liu
Lecture Notes in Computer Science > Methods, Models and Tools for Fault Tolerance > Formal Reasoning about Fault Tolerant Systems and Protocols > 57-84
International Journal on Software Tools for Technology Transfer > 2012 > 14 > 6 > 631-638