Assia Mahboubi 1 AuthorId : 291401 Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Computer Science [cs] / Logic in Computer Science [cs.LO]
EC-NANTES | UNAM | LS2N | UNIV-NANTES | CNRS | INRIA | INSTITUT-TELECOM | LS2N-GALLINETTE | INRIA2