Search results for: C Rawlings
Journal of Automated Reasoning > 2018 > 60 > 1 > 107-131
Discrete Event Dynamic Systems > 2017 > 27 > 2 > 463-479
Journal of Automated Reasoning > 2018 > 60 > 1 > 107-131
Discrete Event Dynamic Systems > 2017 > 27 > 2 > 463-479