Search results for: Huiqun Yu
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification Techniques and Languages > 275-286
The Journal of Systems & Software > 2013 > 86 > 4 > 1089-1106
Telecommunication Systems > 2012 > 51 > 2-3 > 147-158