MétaCan
Menu

Travaux

Tous les travaux de la base. Chaque rangée indique les voies par lesquelles le travail a été admis, car une base qui oublie comment elle a trouvé un travail ne peut pas être vérifiée.

Voie
Domaine
Type
Langue
Période
à
Consensus du tri
Ordre
Indicateurs
1 filtre actif
10 000+ travauxpage 27
aff
Automatic Sequences
2003· book· en· Cambridge University Press eBooks· Computer Science
609
citations
affsans résumé
The software model checker Blast
2007· article· en· International Journal on Software Tools for Technology Transfer· Computer Science
594
citations