Ralf Treinen
AuthID: R-00H-A4W
1
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