Pietro Corvaja

Publication Activity (10 Years)

Years Active: 2007-2008
Publications (10 Years): 0

Publications

Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra
Decidable Compositions of O-Minimal Automata. ATVA (2008)
Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra
Composing Semi-algebraic O-Minimal Automata. HSCC (2007)