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.

ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics

Xin Chen 0002, Matthias Althoff, Fabian Immler. ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics. In Goran Frehse, Matthias Althoff, editors, ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA. Volume 48 of EPiC Series, pages 160-169, EasyChair, 2017. [doi]

Authors

Xin Chen 0002

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

Matthias Althoff

This author has not been identified. Look up 'Matthias Althoff' in Google

Fabian Immler

This author has not been identified. Look up 'Fabian Immler' in Google
runs on