AVERIST: An Algorithmic Verifier for Stability

  1. Prabhakar, P.
  2. Soto, M.G.
Revista:
Electronic Notes in Theoretical Computer Science

ISSN: 1571-0661

Any de publicació: 2015

Volum: 317

Pàgines: 133-139

Tipus: Article

DOI: 10.1016/J.ENTCS.2015.10.013 GOOGLE SCHOLAR lock_openAccés obert editor
Font de les dades: Scopus