Mikolas Janota
AuthID: R-004-VTA
101
TÃTULO: Reasoning about feature models in higher-order logic
AUTORES: Janota, M; Kiniry, J;
PUBLICAÇÃO: 2007, FONTE: SPLC 2007: 11TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS
AUTORES: Janota, M; Kiniry, J;
PUBLICAÇÃO: 2007, FONTE: SPLC 2007: 11TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS
INDEXADO EM: 
WOS
WOS NO MEU: 
ORCID
ORCID102
TÃTULO: Reasoning about Feature Models in Higher-Order Logic
AUTORES: Mikolas Janota; Joseph Kiniry;
PUBLICAÇÃO: 2007, FONTE: 11th International Software Product Line Conference (SPLC 2007)
AUTORES: Mikolas Janota; Joseph Kiniry;
PUBLICAÇÃO: 2007, FONTE: 11th International Software Product Line Conference (SPLC 2007)
103
TÃTULO: Reasoning about Feature Models in Higher-Order Logic
AUTORES: Mikolas Janota; Joseph Kiniry;
PUBLICAÇÃO: 2007, FONTE: 11th International Software Product Line Conference (SPLC 2007)
AUTORES: Mikolas Janota; Joseph Kiniry;
PUBLICAÇÃO: 2007, FONTE: 11th International Software Product Line Conference (SPLC 2007)
