AVERIST: An Algorithmic Verifier for Stability
- Prabhakar, P.
- Soto, M.G.
Aldizkaria:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Argitalpen urtea: 2015
Alea: 317
Orrialdeak: 133-139
Mota: Artikulua
