TY - BOOK AU - Pihlajasaari,Pekka AU - Cerone,Antonio ED - ICTAC 2011. TI - Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings SN - 9783642232831 PY - 2011/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Software engineering KW - Computer Software KW - Logic design UR - http://dx.doi.org/10.1007/978-3-642-23283-1 ER -