Vol-3798⫷ Vol-3799 ⫸Vol-3800
urn:nbn:de:0074-3799-0


Vol-3799/paper11PEG2.0⫷Vol-3799/paper1PLP24⫸Vol-3799/paper2PLP24

Efficient Compliance Computation in Probabilistic Declarative Specifications