TY - BOOK AU - König,Barbara AU - Katoen,Joost-Pieter ED - CONCUR 2011. TI - CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings SN - 9783642232176 PY - 2011/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Computer Communication Networks KW - Software engineering KW - Logic design KW - Information systems KW - Artificial intelligence UR - http://dx.doi.org/10.1007/978-3-642-23217-6 ER -