Performance and Reliability Model Checking and Model Construction (2000)

by H. Hermanns
Venue:In Formal Methods for Industrial Critical Systems, FMICS 2000, GMD Report 91
Citations:3 - 2 self