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.

A Formal Description of Hybrid Systems

Zhou Chaochen, Wang Ji, Anders P. Ravn. A Formal Description of Hybrid Systems. In Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag, editors, Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA. Volume 1066 of Lecture Notes in Computer Science, pages 511-530, Springer, 1995.

Authors

Zhou Chaochen

This author has not been identified. Look up 'Zhou Chaochen' in Google

Wang Ji

This author has not been identified. Look up 'Wang Ji' in Google

Anders P. Ravn

This author has not been identified. Look up 'Anders P. Ravn' in Google
runs on