Model Checking Performability Properties.

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

Browse the full DSN paper archive.