Write a Blog >>
Thomas Thüm

Registered user since Thu 12 Mar 2015

Name:Thomas Thüm
Bio:

Professor for Construction and Analysis of Secure Software at the University of Ulm

Country:Germany
Affiliation:University of Ulm

Contributions

ASE 2022 Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses
Show activities from other conferences

ASE 2022-profile
View general profile