On the Logical Characterisation of Performability Properties.

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen

Browse the full ICALP paper archive.