TY  - RPRT
TI  - Temporal Precedence Checking for Switched Models and its Application to a Parallel Landing Protocol
AU  - Duggirala, Parasara Sridhar
AU  - Wang, Le
AU  - Mitra, Sayan
AU  - Viswanathan, Mahesh
AU  - Munoz, Cesar A.
PY  - 2014
UR  - https://ntrs.nasa.gov/citations/20140006236
ID  - 20140006236
ER  -