Accéder directement au contenu

Benoît Caillaud

3
Documents
Affiliations actuelles
  • 419153
  • 419365
  • 105128
  • 491207

Publications

"aurelien-lamercerie"
Image document

An Algebra of Deterministic Propositional Acceptance Automata (DPAA)

Aurélien Lamercerie , Benoît Caillaud
FDL 2020 - Forum on specification & Design Languages, Sep 2020, Kiel, Germany. pp.1-8
Communication dans un congrès hal-02971772v1