Weighted propositional configuration logics: A specification language for architectures with quantitative features

Paulina Paraponiari, George Rahonis. Weighted propositional configuration logics: A specification language for architectures with quantitative features. Inf. Comput., 282:104647, 2022. [doi]

Abstract

Abstract is missing.