An Algebra of Deterministic Propositional Acceptance Automata (DPAA)

2020 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl50818.2020.9232945 ◽

2020 ◽

Author(s):

Aurelien Lamercerie ◽

Benoit Caillaud

Download Full-text