@inproceedings{OPH+8,
title = { Left-Eigenvectors Are Certificates of the Orbit Problem },
author = {Oliveira, Steven de and Prevosto, Virgile and Habermehl, Peter and Bensalem, Saddek},
year = {2018},
booktitle = {Reachability Problems - 12th International Conference, {RP} 2018, Marseille, France, September 24-26, 2018, Proceedings},
pages = {30--44},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {11123},
team = {RSD},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6008847
|
|
|