AVERIST: An Algorithmic Verifier for Stability

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

ISSN: 1571-0661

Año de publicación: 2015

Volumen: 317

Páginas: 133-139

Tipo: Artículo

DOI: 10.1016/J.ENTCS.2015.10.013 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus