Article citationsMore>>

Frehse, G., Jha, S.K. and Krogh, B.H. (2008) A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. International Workshop on Hybrid Systems: Computation and Control, St. Louis, 22-24 April 2008, 187-200.
https://doi.org/10.1007/978-3-540-78929-1_14

has been cited by the following article:

SCIRP Newsletter
Copyright © 2006-2026 Scientific Research Publishing Inc. All Rights Reserved.
Top