External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Deductive verification of stabilizing systems

Yassine Lakhnech, Michael Siegel. Deductive verification of stabilizing systems. In Sukumar Ghosh, Ted Herman, editors, 3rd Workshop on Self-stabilizing Systems, Santa Barbara, California, August, 1997, Proceedings. pages 201-216, Carleton University Press, 1997.

Authors

Yassine Lakhnech

This author has not been identified. Look up 'Yassine Lakhnech' in Google

Michael Siegel

This author has not been identified. Look up 'Michael Siegel' in Google
runs on