Title : Automata-Based Symbolic Representations of Polyhedra
Language : English
Author, co-author : Boigelot, Bernard [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique >]
Brusten, Julien [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique >]
Degbomont, Jean-François [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Dép. d'électric., électron. et informat. (Inst.Montefiore) >]
Publication date : Mar-2012
Journal title : Lecture Notes in Computer Science
Publisher : Springer
Volume : 7183
Pages : 3-20
Peer reviewed : No
On invitation : Yes
Audience : International
ISSN : 0302-9743
e-ISSN : 1611-3349
City : Berlin
Country : Germany
Event name : 6th International Conference on Language and Automata Theory and Applications
Event date : du 5 mars 2012 au 9 mars 2012
Event place (city) : A Coruña
Event country : Spain
Funders : Politique Scientifique Fédérale (Belgique) = Belgian Federal Science Policy ; Fonds de la Recherche Scientifique (Communauté française de Belgique) - F.R.S.-FNRS
Target : Researchers ; Professionals
Permalink : http://hdl.handle.net/2268/115633
DOI : 10.1007/978-3-642-28332-1_2
Other URL : http://www.springerlink.com/content/t805831854868l01/
Mentions required by the publisher for OA : The original publication is available at www.springerlink.com