%0 Journal Article %1 journals/corr/abs-2308-13024 %A Kale, Alex %A Guo, Ziyang %A Qiao, Xiaoli %A Heer, Jeffrey %A Hullman, Jessica %D 2023 %J CoRR %K dblp %T EVM: Incorporating Model Checking into Exploratory Visual Analysis. %U http://dblp.uni-trier.de/db/journals/corr/corr2308.html#abs-2308-13024 %V abs/2308.13024

@article{journals/corr/abs-2308-13024, added-at = {2023-09-01T00:00:00.000+0200}, author = {Kale, Alex and Guo, Ziyang and Qiao, Xiaoli and Heer, Jeffrey and Hullman, Jessica}, biburl = {https://www.bibsonomy.org/bibtex/299f80186b9c0f2e4361482b1865719f1/dblp}, ee = {https://doi.org/10.48550/arXiv.2308.13024}, interhash = {6dc0e7e56c2a2e41377b12f1a7e5781b}, intrahash = {99f80186b9c0f2e4361482b1865719f1}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:33:27.000+0200}, title = {EVM: Incorporating Model Checking into Exploratory Visual Analysis.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2308.html#abs-2308-13024}, volume = {abs/2308.13024}, year = 2023 }