Ralf Treinen
AuthID: R-00H-A4W
1
TITLE: Proceedings Second Workshop on Logics for Component Configuration, LoCoCo 2011, Perugia, Italy, 12th September 2011 PDF
AUTHORS: Conrad Drescher; Inês Lynce ; Ralf Treinen;
PUBLISHED: 2011, SOURCE: LoCoCo, VOLUME: 65
AUTHORS: Conrad Drescher; Inês Lynce ; Ralf Treinen;
PUBLISHED: 2011, SOURCE: LoCoCo, VOLUME: 65
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv2
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