par Esparza, Javier;Ganty, Pierre ;Schwoon, Stefan
Référence Lecture notes in computer science, 3672 LNCS, page (118-134)
Publication Publié, 2005
Référence Lecture notes in computer science, 3672 LNCS, page (118-134)
Publication Publié, 2005
Article révisé par les pairs
Titre: |
|
Auteur: | Esparza, Javier; Ganty, Pierre; Schwoon, Stefan |
Informations sur la publication: | Lecture notes in computer science, 3672 LNCS, page (118-134) |
Statut de publication: | Publié, 2005 |
Sujet CREF: | Informatique générale |
Informatique mathématique | |
Note générale: | SCOPUS: cp.k |
Langue: | Anglais |
Identificateurs: | urn:issn:0302-9743 |
info:doi/10.1007/11547662_10 | |
info:scp/33646062913 |