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.

HAT: Analyzing Linear Hybrid Automata as Labelled Transition System

Lei Bu, Hui Jiang, Xin Chen, Enyi Tang, Xuandong Li. HAT: Analyzing Linear Hybrid Automata as Labelled Transition System. In Cliff B. Jones, Ji Wang, Naijun Zhan, editors, Symposium on Real-Time and Hybrid Systems - Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday. Volume 11180 of Lecture Notes in Computer Science, pages 85-104, Springer, 2017. [doi]

Authors

Lei Bu

This author has not been identified. Look up 'Lei Bu' in Google

Hui Jiang

This author has not been identified. Look up 'Hui Jiang' in Google

Xin Chen

This author has not been identified. Look up 'Xin Chen' in Google

Enyi Tang

This author has not been identified. Look up 'Enyi Tang' in Google

Xuandong Li

This author has not been identified. Look up 'Xuandong Li' in Google
runs on