Follow
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata (Extended Version). (arXiv:2310.12180v1 [cs.LO]) http://arxiv.org/abs/2310.12180
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata (Extended Version). (arXiv:2310.12180v1 [cs.LO]) http://arxiv.org/abs/2310.12180