|
|
| @INPROCEEDINGS{PequitoC11,
author={Ramos, G. and Pequito, S. and Aguiar, A.P. and Ramos, J. and Kar, S.},
booktitle={Proceedings of the 51st Annual Allerton Conference on Communication, Control, and Computing},
title={A model checking framework for linear time invariant switching systems using structural systems analysis},
year={2013},
pages={973-980},
month={Oct}
}
|
|
|
