%0 Conference Paper %1 conf/iceccs/DobsonBKSQ07 %A Dobson, Simon %A Bailey, Eoin %A Knox, Stephen %A Shannon, Ross %A Quigley, Aaron J. %B ICECCS %D 2007 %I IEEE Computer Society %K dblp %P 229-237 %T A first approach to the closed-form specification and analysis of an autonomic control system. %U http://dblp.uni-trier.de/db/conf/iceccs/iceccs2007.html#DobsonBKSQ07 %@ 978-0-7695-2895-3

@inproceedings{conf/iceccs/DobsonBKSQ07, added-at = {2023-03-24T00:00:00.000+0100}, author = {Dobson, Simon and Bailey, Eoin and Knox, Stephen and Shannon, Ross and Quigley, Aaron J.}, biburl = {https://www.bibsonomy.org/bibtex/26e6e8e2566d534ed2126a140c439572a/dblp}, booktitle = {ICECCS}, crossref = {conf/iceccs/2007}, ee = {https://www.wikidata.org/entity/Q59301771}, interhash = {1adcc09da3785dd09b2bc0d347a1c0de}, intrahash = {6e6e8e2566d534ed2126a140c439572a}, isbn = {978-0-7695-2895-3}, keywords = {dblp}, pages = {229-237}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T08:31:02.000+0200}, title = {A first approach to the closed-form specification and analysis of an autonomic control system.}, url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2007.html#DobsonBKSQ07}, year = 2007 }