Search results for: Liang-Xuedong
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The CREDO Project > 41-69
Electronic Notes in Theoretical Computer Science > 2010 > 266 > Complete > 33-48
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The CREDO Project > 41-69
Electronic Notes in Theoretical Computer Science > 2010 > 266 > Complete > 33-48