HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Yong Kiam Tan

Publications
ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang and Naijun Zhan
In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang and Naijun Zhan
In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Copyright © 2012-2025 easychair.org. All rights reserved.