Skip to main navigation Skip to search Skip to main content

Reasoning about Feature Models in Higher-Order Logic

  • Mikolás Janota
  • , Joseph Roland Kiniry

Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research › peer-review

Original languageEnglish
Publication date2008
Publication statusPublished - 2008
Externally publishedYes
EventInternational Software Product Lines Conference SPLC 2008 - Linmerick, Ireland
Duration: 8 Sept 2008 → 12 Sept 2008
Conference number: 12

Conference

ConferenceInternational Software Product Lines Conference SPLC 2008
Number12
Country/TerritoryIreland
CityLinmerick
Period08/09/2008 → 12/09/2008

Cite this