%0 Journal Article %1 journals/siamco/PolaT09 %A Pola, Giordano %A Tabuada, Paulo %D 2009 %J SIAM J. Control and Optimization %K dblp %N 2 %P 719-733 %T Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations. %U http://dblp.uni-trier.de/db/journals/siamco/siamco48.html#PolaT09 %V 48

@article{journals/siamco/PolaT09, added-at = {2010-06-14T00:00:00.000+0200}, author = {Pola, Giordano and Tabuada, Paulo}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/245eb789736c928ecf0b3ec1750f8b6d4/dblp}, ee = {http://dx.doi.org/10.1137/070698580}, interhash = {28af53eaac9c02dad24a87e17e131ea2}, intrahash = {45eb789736c928ecf0b3ec1750f8b6d4}, journal = {SIAM J. Control and Optimization}, keywords = {dblp}, number = 2, pages = {719-733}, timestamp = {2016-02-02T02:48:32.000+0100}, title = {Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations.}, url = {http://dblp.uni-trier.de/db/journals/siamco/siamco48.html#PolaT09}, volume = 48, year = 2009 }