Mikolas Janota


AuthID: R-004-VTA

Publicações a aguardar confirmação

101
TÍTULO: Reachability analysis for annotated code
AUTORES: Mikoláš Janota; Radu Grigore; Michał Moskal;
PUBLICAÇÃO: 2007, FONTE: ESEC/FSE 2007: 6th Joint Meeting - Sixth International Workshop on Specification and Verification of Component-Based Systems, SAVCBS 2007
INDEXADO EM: Scopus CrossRef: 12
NO MEU: ORCID
102
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
INDEXADO EM: WOS
NO MEU: ORCID
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)
INDEXADO EM: CrossRef: 1
NO MEU: ORCID
104
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)
INDEXADO EM: CrossRef: 26
NO MEU: ORCID
Página 11 de 11. Total de resultados: 104.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service