{"identifier":"nobleid:/w1/20260521/14ADEBFB","arkIdentifier":"ark:/48914/w1/20260521/14ADEBFB","version":1,"workTitle":"KATch: A Fast Symbolic Verifier for NetKAT","workType":"Journal Article","authors":"Cornell University","description":null,"workUrl":null,"existingDoi":"10.5281/zenodo.10806447","createdAt":"2026-05-21T16:54:32.239600Z","canonicalUrl":"https://nobleid.org/ark:/48914/w1/20260521/14ADEBFB.v1"}