TY - RPRT TI - Proceedings Second Workshop on Logics for Component Configuration AU - Conrad Drescher AU - Ines Lynce AU - Ralf Treinen PY - 2011 DO - 10.4204/eptcs.65 UR - https://arxiv.org/abs/1108.6097 ID - 1108.6097 ER -