On the Use of Model Checking Techniques for Dependability Evaluation.

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

Browse the full SRDS paper archive.