Normal view
MARC view
Giacobbe, Mirco (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): Giacobbe, Mirco, Automatic time-unbounded reachability analysis of hybrid systems, 2019