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.

On Global Scheduling Independency in Networks of Timed Automata

Sergio Feo Arenis, Milan Vujinovic, Bernd Westphal. On Global Scheduling Independency in Networks of Timed Automata. In Alessandro Abate, Gilles Geeraerts, editors, Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Volume 10419 of Lecture Notes in Computer Science, pages 42-57, Springer, 2017. [doi]

Authors

Sergio Feo Arenis

This author has not been identified. Look up 'Sergio Feo Arenis' in Google

Milan Vujinovic

This author has not been identified. Look up 'Milan Vujinovic' in Google

Bernd Westphal

This author has not been identified. Look up 'Bernd Westphal' in Google
runs on