@article{journals/entcs/HirschLT06, title = {A Logic for Application Level QoS.}, author = {Dan Hirsch and Alberto Lluch-Lafuente and Emilio Tuosto}, journal = {Electr. Notes Theor. Comput. Sci.}, number = {2}, pages = {135-159}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs153.html#HirschLT06}, volume = {153}, year = {2006}, biburl = {http://www.bibsonomy.org/bibtex/2f29e83311fc62f619a3fed91c8db2ff4/dblp}, description = {dblp}, ee = {http://dx.doi.org/10.1016/j.entcs.2005.10.036}, date = {2006-07-24}, keywords = {dblp } }