TY  - GEN
AU  - Barbau, Raphael
AU  - Bock, Conrad
C2  - , National Institute of Standards and Technology, Gaithersburg, MD
DA  - 2020-06-01 04:06:00
DO  - https://doi.org/10.6028/NIST.IR.8283
LA  - en
PB  - , National Institute of Standards and Technology, Gaithersburg, MD
PY  - 2020
TI  - Verifying executability of SysML behavior models using satisfiability modulo theory solvers:
ER  -