Mikolas Janota


AuthID: R-004-VTA

Publications Requiring Validation

101
TITLE: Reasoning about feature models in higher-order logic
AUTHORS: Janota, M; Kiniry, J;
PUBLISHED: 2007, SOURCE: SPLC 2007: 11TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS
INDEXED IN: WOS
IN MY: ORCID
102
TITLE: Reasoning about Feature Models in Higher-Order Logic
AUTHORS: Mikolas Janota; Joseph Kiniry;
PUBLISHED: 2007, SOURCE: 11th International Software Product Line Conference (SPLC 2007)
INDEXED IN: CrossRef: 1
IN MY: ORCID
103
TITLE: Reasoning about Feature Models in Higher-Order Logic
AUTHORS: Mikolas Janota; Joseph Kiniry;
PUBLISHED: 2007, SOURCE: 11th International Software Product Line Conference (SPLC 2007)
INDEXED IN: CrossRef: 26
IN MY: ORCID
Page 11 of 11. Total results: 103.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service