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.

Refinement Verification of Sequence Diagrams Using CSP

Lucas Lima, Juliano Iyoda, Augusto Sampaio. Refinement Verification of Sequence Diagrams Using CSP. In Leila Ribeiro, Thierry Lecomte, editors, Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings. Volume 10090 of Lecture Notes in Computer Science, pages 235-252, 2016. [doi]

Authors

Lucas Lima

This author has not been identified. Look up 'Lucas Lima' in Google

Juliano Iyoda

This author has not been identified. Look up 'Juliano Iyoda' in Google

Augusto Sampaio

This author has not been identified. Look up 'Augusto Sampaio' in Google
runs on