5 citations · 5 across the 1 of their papers we have counts for
1 paper
Vagia Karyoti, Paulina Paraponiari
We introduce a weighted propositional configuration logic over a product valuation monoid. Our logic is intended to serve as a specification language for software architectures wit…