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.

Local Livelock Analysis of Component-Based Models

Madiel S. Conserva Filho, Marcel Vinicius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti. Local Livelock Analysis of Component-Based Models. In Kazuhiro Ogata, Mark Lawford, Shaoying Liu, editors, Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings. Volume 10009 of Lecture Notes in Computer Science, pages 279-295, 2016. [doi]

Authors

Madiel S. Conserva Filho

This author has not been identified. Look up 'Madiel S. Conserva Filho' in Google

Marcel Vinicius Medeiros Oliveira

This author has not been identified. Look up 'Marcel Vinicius Medeiros Oliveira' in Google

Augusto Sampaio

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

Ana Cavalcanti

This author has not been identified. Look up 'Ana Cavalcanti' in Google
runs on