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.

Synchronizing Words for Weighted and Timed Automata

Laurent Doyen 0001, Line Juhl, Kim Guldstrand Larsen, Nicolas Markey, Mahsa Shirmohammadi. Synchronizing Words for Weighted and Timed Automata. In Venkatesh Raman, S. P. Suresh, editors, 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India. Volume 29 of LIPIcs, pages 121-132, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014. [doi]

Authors

Laurent Doyen 0001

This author has not been identified. Look up 'Laurent Doyen 0001' in Google

Line Juhl

This author has not been identified. Look up 'Line Juhl' in Google

Kim Guldstrand Larsen

This author has not been identified. Look up 'Kim Guldstrand Larsen' in Google

Nicolas Markey

This author has not been identified. Look up 'Nicolas Markey' in Google

Mahsa Shirmohammadi

This author has not been identified. Look up 'Mahsa Shirmohammadi' in Google
runs on