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.

A Refinement Relation for Families of Timed Automata

Guillermina Cledou, José Proença, Luís Soares Barbosa. A Refinement Relation for Families of Timed Automata. In Simone André da Costa Cavalheiro, José Luiz Fiadeiro, editors, Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings. Volume 10623 of Lecture Notes in Computer Science, pages 161-178, Springer, 2017. [doi]

Authors

Guillermina Cledou

This author has not been identified. Look up 'Guillermina Cledou' in Google

José Proença

This author has not been identified. Look up 'José Proença' in Google

Luís Soares Barbosa

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