Ralf Treinen
AuthID: R-00H-A4W
1
TÃTULO: Proceedings Second Workshop on Logics for Component Configuration, LoCoCo 2011, Perugia, Italy, 12th September 2011 PDF
AUTORES: Conrad Drescher; Inês Lynce ; Ralf Treinen;
PUBLICAÇÃO: 2011, FONTE: LoCoCo, VOLUME: 65
AUTORES: Conrad Drescher; Inês Lynce ; Ralf Treinen;
PUBLICAÇÃO: 2011, FONTE: LoCoCo, VOLUME: 65
INDEXADO EM: 
DBLP 
arXiv
DBLP arXiv2
TÃTULO: Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010 PDF
AUTORES: Inês Lynce ; Ralf Treinen;
PUBLICAÇÃO: 2010, FONTE: LoCoCo, VOLUME: 29
AUTORES: Inês Lynce ; Ralf Treinen;
PUBLICAÇÃO: 2010, FONTE: LoCoCo, VOLUME: 29
INDEXADO EM: DBLP arXiv
DBLP arXiv