TY  - RPRT
TI  - Metrics for Labeled Markov Systems
AU  - Desharnais, Josee
AU  - Jagadeesan, Radha
AU  - Gupta, Vineet
AU  - Panangaden, Prakash
PY  - 1999
UR  - https://ntrs.nasa.gov/citations/20000082012
ID  - 20000082012
ER  -