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.

Reachability analysis for timed automata using max-plus algebra

Qi Lu, Michael Madsen, Martin Milata, Søren Ravn, Uli Fahrenberg, Kim G. Larsen. Reachability analysis for timed automata using max-plus algebra. Journal of Logic and Algebraic Programming, 81(3):298-313, 2012. [doi]

Authors

Qi Lu

This author has not been identified. Look up 'Qi Lu' in Google

Michael Madsen

This author has not been identified. Look up 'Michael Madsen' in Google

Martin Milata

This author has not been identified. Look up 'Martin Milata' in Google

Søren Ravn

This author has not been identified. Look up 'Søren Ravn' in Google

Uli Fahrenberg

This author has not been identified. Look up 'Uli Fahrenberg' in Google

Kim G. Larsen

This author has not been identified. Look up 'Kim G. Larsen' in Google
runs on