A
Menu
June 25, 2003 conference-paper

Model checking performability properties

IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

DOI: 10.1109/dsn.2002.1028891 OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 1 stored of 86

1 result

References 0