External Links

Cite Key

Statistics

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

PDF

Bibliographies

    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.

    Proving Partial-Correctness and Invariance Properties of Transition-System Models

    Vlad Rusu, Gilles Grimaud, Michaël Hauspie. Proving Partial-Correctness and Invariance Properties of Transition-System Models. In TASE 2018 - 12th International Symposium on Theoretical Aspects of Software Engineering. IEEE Xplore, Guangzhou, China, Aug 2018.

    References

    No references recorded for this publication.

    Cited by

    No citations of this publication recorded.

    runs on