Parallel reachability analysis of hybrid systems in XSpeed
Article in International Journal on Software Tools for Technology Transfer (February 2018)
The most recent citing publication is shown below. View this citation on Dimensions.
Article in International Journal on Software Tools for Technology Transfer (February 2018)