AVERIST: An Algorithmic Verifier for Stability

Pavithra Prabhakar, Miriam Garcia Soto. AVERIST: An Algorithmic Verifier for Stability. Electronic Notes in Theoretical Computer Science, 317:133-139, 2015. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.