Search results for: Songzheng Song
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Model Checking and Probability > 147-162
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Probability and Concurrency > 388-403
IEEE Transactions on Human-Machine Systems > 2016 > 46 > 2 > 197 - 208
Software & Systems Modeling > 2016 > 15 > 2 > 453-471
Engineering Applications of Artificial Intelligence > 2014 > 34 > Complete > 45-57