Decidable Compositions of O-Minimal Automata

Alberto Casagrande, Pietro Corvaja, Bud Mishra, Carla Piazza
2008-01-01
Cite
Type
Conference paper
Publication
Proc. of Int. Symposium on Automated Technology for Verification and Analysis (ATVA'08)

Related