Author:
D’Antoni Loris,Veanes Margus
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. AutomataDotNet (2015). https://github.com/AutomataDotNet/
2. Lecture Notes in Computer Science;PA Abdulla,2006
3. Alur, R., D’Antoni, L., Raghothaman, M.: Drex: a declarative language for efficiently evaluating regular string transformations. SIGPLAN Not. 50(1), 125–137 (2015)
4. Bahar, R.I., Frohm, E.A., Gaona, C.M., Hachtel, G.D., Macii, E., Pardo, A., Somenzi, F.: Algebraic decision diagrams and their applications. Form. Methods Syst. Des. 10(2/3), 171–206 (1997)
5. Berstel, J., Boasson, L., Carton, O.: Hopcroft’s automaton minimization algorithm and Sturmian words. In: DMTCS 2008, pp. 355–366 (2008)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. KATch: A Fast Symbolic Verifier for NetKAT;Proceedings of the ACM on Programming Languages;2024-06-20
2. Automata modulo theories;Communications of the ACM;2021-05
3. Symbolic bisimulation for open and parameterized systems;Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2020;2020
4. Incremental Minimization of Symbolic Automata;Lecture Notes in Computer Science;2020
5. Simulation Algorithms for Symbolic Automata;Automated Technology for Verification and Analysis;2018