Automata-Based Symbolic Representations of Polyhedra

TitleAutomata-Based Symbolic Representations of Polyhedra
Publication TypeConference Paper
Year of Publication2012
AuthorsBoigelot, B, Brusten J, Degbomont J-F
Conference NameLanguage and Automata Theory and Applications - 6th International Conference, {LATA} 2012, {A} Coruña, Spain, March 5-9, 2012. Proceedings
PublisherSpringer
DOI10.1007/978-3-642-28332-1_2