Institution: | aDepartment of Mathematics and Computer Science, University of Southern Denmark, DK-5230 Odense, Denmark bLIRMM, 161 rue Ada, F-34392 Montpellier Cedex, France cDepartment of Informatics and Mathematical Modeling, The Technical University of Denmark, DK 2800 Lyngby, Denmark |