TY  - CONF
AU  - Kuhn, David
AU  - Yaga, Dylan
AU  - Kacker, Raghu
AU  - Lei, Yu
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  -