bibtex

@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},
}

URL

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 1127721