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.

Formal Representation and Proof of the Interpreted Sequential Machine Model

Mireille Larnac, Vincent Chapurlat, Janine Magnier, Benjamin Chenot. Formal Representation and Proof of the Interpreted Sequential Machine Model. In Franz Pichler, Roberto Moreno-Díaz, editors, Computer Aided Systems Theory - EUROCAST 97, A Selection of Papers from the 6th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings. Volume 1333 of Lecture Notes in Computer Science, pages 95-107, Springer, 1997.

Abstract

Abstract is missing.

runs on