TY  - RPRT
TI  - Symbolically Modeling Concurrent MCAPI Executions
AU  - Fischer, Topher
AU  - Mercer, Eric
AU  - Rungta, Neha
PY  - 2011
UR  - https://ntrs.nasa.gov/citations/20110012184
ID  - 20110012184
ER  -