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.

Composing Families of Timed Automata

Guillermina Cledou, José Proença, Luís Soares Barbosa. Composing Families of Timed Automata. In Mehdi Dastani, Marjan Sirjani, editors, Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers. Volume 10522 of Lecture Notes in Computer Science, pages 51-66, 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