%0 Conference Paper %1 conf/cdc/TsachouridisG19 %A Tsachouridis, Vassilios A. %A Giantamidis, Georgios %B CDC %D 2019 %I IEEE %K dblp %P 8073-8078 %T Computer-aided verification of matrix Riccati algorithms. %U http://dblp.uni-trier.de/db/conf/cdc/cdc2019.html#TsachouridisG19 %@ 978-1-7281-1398-2

@inproceedings{conf/cdc/TsachouridisG19, added-at = {2020-04-27T00:00:00.000+0200}, author = {Tsachouridis, Vassilios A. and Giantamidis, Georgios}, biburl = {https://www.bibsonomy.org/bibtex/216a4f3a0cd9f477bd671ef99ce38bd06/dblp}, booktitle = {CDC}, crossref = {conf/cdc/2019}, ee = {https://doi.org/10.1109/CDC40024.2019.9030135}, interhash = {cfddb4d7a598d3d2de02990ebaeb1581}, intrahash = {16a4f3a0cd9f477bd671ef99ce38bd06}, isbn = {978-1-7281-1398-2}, keywords = {dblp}, pages = {8073-8078}, publisher = {IEEE}, timestamp = {2024-04-09T15:15:27.000+0200}, title = {Computer-aided verification of matrix Riccati algorithms.}, url = {http://dblp.uni-trier.de/db/conf/cdc/cdc2019.html#TsachouridisG19}, year = 2019 }