Search results for: Min Zhou
2017 29th Chinese Control And Decision Conference (CCDC) > 1634 - 1639
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 222-236
Lecture Notes in Computer Science > Knowledge-Based Intelligent Information and Engineering Systems > Knowledge and Engineering Techniques for Spatio-temporal Applications > 329-335