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
DBLP arXiv