%0 Conference Paper %1 conf/issac/GuoDZ13 %A Guo, Qingdong %A Din, Mohab Safey El %A Zhi, Lihong %B ISSAC %D 2013 %E Kauers, Manuel %I ACM %K dblp %P 197-204 %T Computing rational solutions of linear matrix inequalities. %U http://dblp.uni-trier.de/db/conf/issac/issac2013.html#GuoDZ13 %@ 978-1-4503-2059-7

@inproceedings{conf/issac/GuoDZ13, added-at = {2018-11-06T00:00:00.000+0100}, author = {Guo, Qingdong and Din, Mohab Safey El and Zhi, Lihong}, biburl = {https://www.bibsonomy.org/bibtex/22e7274d2145689d0dce6d21f44686cd0/dblp}, booktitle = {ISSAC}, crossref = {conf/issac/2013}, editor = {Kauers, Manuel}, ee = {https://doi.org/10.1145/2465506.2465949}, interhash = {d6d7407a88ae912b6b88ec3e1fd2a417}, intrahash = {2e7274d2145689d0dce6d21f44686cd0}, isbn = {978-1-4503-2059-7}, keywords = {dblp}, pages = {197-204}, publisher = {ACM}, timestamp = {2018-11-07T16:20:07.000+0100}, title = {Computing rational solutions of linear matrix inequalities.}, url = {http://dblp.uni-trier.de/db/conf/issac/issac2013.html#GuoDZ13}, year = 2013 }