Advanced search
Advanced search
BMC Health Services Research > 2018 > 18 > 1 > 1-15
Formal Methods in System Design > 2018 > 52 > 1 > 33-87
IEEE Transactions on Intelligent Transportation Systems > 2017 > 18 > 10 > 2667 - 2680
IEEE Software > 2017 > 34 > 1 > 20 - 23
IEEE/ACM Transactions on Networking > 2016 > 24 > 6 > 3290 - 3299
2016 IEEE 55th Conference on Decision and Control (CDC) > 5720 - 5725
2016 IEEE 55th Conference on Decision and Control (CDC) > 7425 - 7430