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.

Abstraction of Elementary Hybrid Systems by Variable Transformation

Jiang Liu 0009, Naijun Zhan, Hengjun Zhao, Liang Zou. Abstraction of Elementary Hybrid Systems by Variable Transformation. In Nikolaj Bjørner, Frank D. de Boer, editors, FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Volume 9109 of Lecture Notes in Computer Science, pages 360-377, Springer, 2015. [doi]

Authors

Jiang Liu 0009

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

Naijun Zhan

This author has not been identified. Look up 'Naijun Zhan' in Google

Hengjun Zhao

This author has not been identified. Look up 'Hengjun Zhao' in Google

Liang Zou

This author has not been identified. Look up 'Liang Zou' in Google
runs on