@inproceedings{HMP03,
title = { Cartesian factoring of polyhedra in linear relation analysis },
author = {Halbwachs, Nicolas and Merchat, David and Parent-Vigouroux, Catherine},
month = {jun},
year = {2003},
booktitle = {Static Analysis Symposium, SAS'03},
address = {San Diego},
publisher = {LNCS 2694, Springer Verlag},
team = {SYNC},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6008822
|
|
|