par Nélis, Vincent ;Goossens, Joël ;Navet, Nicolas;Devillers, Raymond ;Milojevic, Dragomir
Organisme financeur CoRR
Publication Publié, 2007
Organisme financeur CoRR
Publication Publié, 2007
Rapport
Titre: |
|
Auteur: | Nélis, Vincent; Goossens, Joël; Navet, Nicolas; Devillers, Raymond; Milojevic, Dragomir |
Organisme financeur: | CoRR |
Statut de publication: | Publié, 2007 |
Sujet CREF: | Informatique mathématique |
Note générale: | abstract disponible à l'adresse suivante : http://arxiv.org/abs/0712.2958 |
Langue: | Anglais |