Mikolas Janota


AuthID: R-004-VTA

Publications Requiring Validation

101
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: 101.

footer slogan

Useful Links

Get Help

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