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.

Calculating Invariants as Coreflexive Bisimulations

Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva. Calculating Invariants as Coreflexive Bisimulations. In José Meseguer, Grigore Rosu, editors, Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings. Volume 5140 of Lecture Notes in Computer Science, pages 83-99, Springer, 2008. [doi]

Authors

Luís Soares Barbosa

This author has not been identified. Look up 'Luís Soares Barbosa' in Google

José Nuno Oliveira

This author has not been identified. It may be one of the following persons: Look up 'José Nuno Oliveira' in Google

Alexandra Silva

This author has not been identified. It may be one of the following persons: Look up 'Alexandra Silva' in Google
runs on