论文信息 - Truth Tables to Binary Decision Diagrams in Modern ATL - 字舞流文

Truth Tables to Binary Decision Diagrams in Modern ATL

Frédéric Jouault | Dennis Wagelaar | Théo Le Calvar | F. Jouault | Dennis Wagelaar | T. Calvar

[1] Georg Hinkel,et al. Truth Tables to Binary Decision Diagrams , 2020, TTC@STAF.

[2] Jordi Cabot,et al. Towards a general composition semantics for rule-based model transformation , 2011, MODELS'11.