%0 Journal Article %1 journals/corr/abs-0812-1986 %A Feron, Eric %A Alegre, Fernando %D 2008 %J CoRR %K dblp %T Control software analysis, part II: Closed-loop analysis %U http://dblp.uni-trier.de/db/journals/corr/corr0812.html#abs-0812-1986 %V abs/0812.1986

@article{journals/corr/abs-0812-1986, added-at = {2018-08-13T00:00:00.000+0200}, author = {Feron, Eric and Alegre, Fernando}, biburl = {https://www.bibsonomy.org/bibtex/242fae5fdcdfbc773570f664ae1aeeccc/dblp}, ee = {http://arxiv.org/abs/0812.1986}, interhash = {ac4e85e38e0549a4a8bbc4ab9f8425fc}, intrahash = {42fae5fdcdfbc773570f664ae1aeeccc}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T12:29:05.000+0200}, title = {Control software analysis, part II: Closed-loop analysis}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0812.html#abs-0812-1986}, volume = {abs/0812.1986}, year = 2008 }