Hybrid Regular Expressions

Authors:
Li Xuandong;Zheng Tao;Hou Jianmin;Zhao Jianhua;Zheng Guoliang
Affiliations:
-;-;-;-;-
Venue:
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
Year:
1998

Citing 0
Cited 3

Timed regular expressions

Journal of the ACM (JACM)
Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming

CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Linear hybrid action systems

Nordic Journal of Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract