Search results for: Weiwen Xu
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Contributed Papers > 113-127
Science China Life Sciences > 2013 > 56 > 3 > 234-239
Formal Methods in System Design > 2009 > 34 > 1 > 59-81