default search action
12th TTC 2019: Eindhoven, The Netherlands
- Antonio García-Domínguez, Georg Hinkel, Filip Krikava:
Proceedings of the 12th Transformation Tool Contest, co-located with the 2019 Software Technologies: Applications and Foundations, TTC@STAF 2019, Eindhoven, The Netherlands, July 19, 2019. CEUR Workshop Proceedings 2550, CEUR-WS.org 2020
Truth Tables to Binary Decision Diagrams
- Antonio García-Domínguez, Georg Hinkel:
Truth Tables to Binary Decision Diagrams. 3-7 - Georg Hinkel:
An NMF Solution to the TTC 2019 Truth Tables to Binary Decision Diagrams Case. 9-13 - Albert Zündorf:
The Fulib Solution to the TTC 2019 Truth Table to Binary Decision Diagram Case. 15-19 - Artur Boronat:
YAMTL Solution to the TTC 2019 TT2BDD Case. 21-25 - Johannes Mey, René Schöne, Christopher Werner, Uwe Aßmann:
Transforming Truth Tables to Binary Decision Diagrams Using Relational Reference Attribute Grammars. 27-32 - Akram Idani, Germán Vega, Michael Leuschel:
Applying Formal Reasoning to Model Transformation: The Meeduse solution. 33-44 - Christopher Werner, Rico Bergmann, Johannes Mey, René Schöne, Uwe Aßmann:
Transforming Truth Tables to Binary Decision Diagrams Using the Role-based Synchronization Approach. 45-50 - Dennis Wagelaar, Théo Le Calvar, Frédéric Jouault:
Truth Tables to Binary Decision Diagrams in Modern ATL. 51-58
BibtexXML to Docbook Consistency Case Live Case
- Antonio García-Domínguez, Georg Hinkel:
The TTC 2019 Live Case: BibTeX to DocBook. 61-65 - Georg Hinkel:
An NMF Solution to the TTC 2019 Live Case. 67-72 - Artur Boronat:
YAMTL Solution to the TTC 2019 BibtexToDocBook Case. 73-77
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.