@inproceedings{57b2e60d6ca844c091c8d7757d59f4ac,
title = "A first approach to the closed-form specification and analysis of an autonomic control system",
keywords = "Lero, SPC, analysis, phase spaces, semantics, autonomic systems, programming",
author = "Simon Dobson and Eoin Bailey and Stephen Knox and Ross Shannon and Aaron Quigley",
year = "2007",
language = "English",
booktitle = "Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems",
publisher = "IEEE Computer Society",
address = "United States",
}