Ralf Treinen
AuthID: R-00H-A4W
1
TITLE: Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010 PDF
AUTHORS: Inês Lynce; Ralf Treinen;
PUBLISHED: 2010, SOURCE: LoCoCo, VOLUME: 29
AUTHORS: Inês Lynce; Ralf Treinen;
PUBLISHED: 2010, SOURCE: LoCoCo, VOLUME: 29
INDEXED IN:
DBLP
arXiv
![](/img/dblp_icon.png)
![](/img/arxiv_icon.png)