Dettaglio pubblicazione
2012, Reachability Problems, Pages 79-91 (volume: 7550)
Ariadne: Dominance checking of nonlinear hybrid automata using reachability analysis (04b Atto di convegno in volume)
Benvenuti Luca, Davide Bresolin, Pieter Collins, Alberto Ferrari, Luca Geretti, Tiziano Villa
ISBN: 9783642335112, 97...
keywords