Home » Publication » 13933

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
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma