Verification of Context-Free Timed Systems Using Linear Hybrid Observers

Authors:
Ahmed Bouajjani;Rachid Echahed;Riadh Robbana
Affiliations:
-;-;-
Venue:
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
Year:
1994

Citing 0
Cited 3

Verification of duration systems using an approximation approach

Journal of Computer Science and Technology
The theory of hybrid automata

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Recursive timed automata

ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract