@proceedings {183,
	title = {Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings},
	journal = {FroCoS},
	volume = {8152},
	year = {2013},
	publisher = {Springer},
	isbn = {978-3-642-40884-7},
	editor = {Pascal Fontaine and Christophe Ringeissen and Renate A. Schmidt}
}