### Standard

**Algebraic Specifications of Computing as a Service with Applications to Cost Analysis.** / Johnson, Kenneth Harold Anthony; Tucker, John V.

Proceedings of the 5th IEEE/ACM International Conference on Utility and Cloud Computing. 2012. p. 143-150.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

### Harvard

Johnson, KHA & Tucker, JV 2012, Algebraic Specifications of Computing as a Service with Applications to Cost Analysis. in *Proceedings of the 5th IEEE/ACM International Conference on Utility and Cloud Computing.* pp. 143-150.

### APA

Johnson, K. H. A., & Tucker, J. V. (Accepted/In press). Algebraic Specifications of Computing as a Service with Applications to Cost Analysis. In *Proceedings of the 5th IEEE/ACM International Conference on Utility and Cloud Computing *(pp. 143-150)

### Vancouver

Johnson KHA, Tucker JV. Algebraic Specifications of Computing as a Service with Applications to Cost Analysis. In Proceedings of the 5th IEEE/ACM International Conference on Utility and Cloud Computing. 2012. p. 143-150

### Author

Johnson, Kenneth Harold Anthony ; Tucker, John V. / **Algebraic Specifications of Computing as a Service with Applications to Cost Analysis**. Proceedings of the 5th IEEE/ACM International Conference on Utility and Cloud Computing. 2012. pp. 143-150

@inproceedings{c244ae7cc3b94d359dc1a7e850527277,

title = "Algebraic Specifications of Computing as a Service with Applications to Cost Analysis",

author = "Johnson, {Kenneth Harold Anthony} and Tucker, {John V}",

year = "2012",

language = "English",

pages = "143--150",

booktitle = "Proceedings of the 5th IEEE/ACM International Conference on Utility and Cloud Computing",

}

### RIS (suitable for import to EndNote) - Download

TY - GEN

T1 - Algebraic Specifications of Computing as a Service with Applications to Cost Analysis

AU - Johnson, Kenneth Harold Anthony

AU - Tucker, John V

PY - 2012

Y1 - 2012

UR - http://www.scopus.com/inward/record.url?scp=84874243219&partnerID=8YFLogxK

M3 - Conference contribution

SP - 143

EP - 150

BT - Proceedings of the 5th IEEE/ACM International Conference on Utility and Cloud Computing

ER -