Abstract is missing.
- Truth Tables to Binary Decision DiagramsAntonio García-Domínguez, Georg Hinkel. 3-7 [doi]
- An NMF Solution to the TTC 2019 Truth Tables to Binary Decision Diagrams CaseGeorg Hinkel. 9-13 [doi]
- The Fulib Solution to the TTC 2019 Truth Table to Binary Decision Diagram CaseAlbert Zündorf. 15-19 [doi]
- YAMTL Solution to the TTC 2019 TT2BDD CaseArtur Boronat. 21-25 [doi]
- Transforming Truth Tables to Binary Decision Diagrams Using Relational Reference Attribute GrammarsJohannes Mey, René Schöne, Christopher Werner, Uwe Aßmann. 27-32 [doi]
- Applying Formal Reasoning to Model Transformation: The Meeduse solutionAkram Idani, Germán Vega, Michael Leuschel. 33-44 [doi]
- Transforming Truth Tables to Binary Decision Diagrams Using the Role-based Synchronization ApproachChristopher Werner, Rico Bergmann, Johannes Mey, René Schöne, Uwe Aßmann. 45-50 [doi]
- Truth Tables to Binary Decision Diagrams in Modern ATLDennis Wagelaar, Théo Le Calvar, Frédéric Jouault. 51-58 [doi]
- The TTC 2019 Live Case: BibTeX to DocBookAntonio García-Domínguez, Georg Hinkel. 61-65 [doi]
- An NMF Solution to the TTC 2019 Live CaseGeorg Hinkel. 67-72 [doi]
- YAMTL Solution to the TTC 2019 BibtexToDocBook CaseArtur Boronat. 73-77 [doi]