@inproceedings{PH10,
title = { An analysis of permutations in arrays },
author = {Perrelle, Valentin and Halbwachs, Nicolas},
month = {jan},
year = {2010},
booktitle = {11th International Conference on Verification, Model-checking, and Abstract Interpretation, VMCAI 2010},
address = {Madrid, Spain},
pages = {279-294},
publisher = {Springer},
team = {SYNC},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 32617056
|
|
|