APA Style
Proceedings of the 17th international conference on tools and algorithms for the construction and analysis of systems. (2011).
USA:
Springer.
Chicago Style
Proceedings of the 17th international conference on tools and algorithms for the construction and analysis of systems.
.
USA:
Springer,
2011.
Books.
MLA Style
Proceedings of the 17th international conference on tools and algorithms for the construction and analysis of systems.
.
USA:
Springer,
2011.
Books.
Turabian Style
Proceedings of the 17th international conference on tools and algorithms for the construction and analysis of systems.
USA:
Springer,
2011.
Books.