TY  - CONF
AU  - Gerald Heddy
AU  - Umer Huzaifa
AU  - Peter Beling
AU  - Yacov Haimes
AU  - Jeremy Marvel
AU  - Brian Weiss
AU  - Amy LaViers
C2  - Proceedings of the PHM Society Conference, San Diego, CA, US
DA  - 2015-10-23 04:10:00
LA  - en
PB  - Proceedings of the PHM Society Conference, San Diego, CA, US
PY  - 2015
TI  - Linear Temporal Logic (LTL) Based Monitoring of Smart Manufacturing Systems
UR  - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=919129
ER  -