@inproceedings{OBP6,
title = { Polynomial Invariants by Linear Algebra },
author = {Oliveira, Steven de and Bensalem, Saddek and Prevosto, Virgile},
year = {2016},
booktitle = {Automated Technology for Verification and Analysis - 14th International Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
crossref = {DBLP:conf/atva/2016},
pages = {479--494},
team = {DCS, RSD},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6014557
|
|
|