TY  - CONF
AU  - David Kuhn
AU  - Dylan Yaga
AU  - Raghu Kacker
AU  - Yu Lei
AU  - Chung
C2  - 30th International Conference on Software Engineering and Knowledge Engineering (SEKE 2018), San Francisco, CA
DA  - 2018-07-01
DO  - https://doi.org/10.18293/SEKE2018-072
LA  - en
PB  - 30th International Conference on Software Engineering and Knowledge Engineering (SEKE 2018), San Francisco, CA
PY  - 2018
TI  - Pseudo-exhaustive Verification of Rule Based Systems
ER  -