()
- Department
- Major(s)
- -
Co-researchers
Keyword
Publication & Time Cited Count (For the Last 5 years)
Results 1-4 of 4 (Search time: 0.0 seconds).
Date issued
Type
Applied search limites :
Conference
The 10th International Symposium on Theoretical Aspects of Software Engineering, 2016-07-17
Conference
International Symposium on NASA Formal Methods, 2016-06-07
Conference
ACM International Conference on Hybrid Systems: Computation and Control, 2016-04-12
Conference
AAAI-16 Workshop on Planning for Hybrid Systems, 2016-02-13
1