|
 
|
[BRS09] Vérification formelle d'un algorithme d'allocation de registres par coloration de graphe
Conférences invitées : January 2009,
motcle:
Commentaires:
Republication de l'article des JFLA 2008
BibTeX
| @inproceedings { | |||
| BRS09, | |||
| title | = | "{Vérification formelle d'un algorithme d'allocation de registres par coloration de graphe}", | |
| author | = | " S. Blazy and B. Robillard and E. Soutil ", | |
| year | = | 2009, | |
| month | = | "January", | |
| note | = | "{Republication de l'article des JFLA 2008}", | |
| } | |||
