TY  - RPRT
TI  - UML and Model Checking
AU  - Schneider, F.
PY  - 1999
UR  - https://ntrs.nasa.gov/citations/20060034427
ID  - 20060034427
ER  -