BibTeX record conf/staf/WernerBMSA19

• > Home > conf/staf/WernerBMSA19

@inproceedings{DBLP:conf/staf/WernerBMSA19,
  author       = {Christopher Werner and
                  Rico Bergmann and
                  Johannes Mey and
                  Ren{\'{e}} Sch{\"{o}}ne and
                  Uwe A{\ss}mann},
  editor       = {Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
                  Georg Hinkel and
                  Filip Krikava},
  title        = {Transforming Truth Tables to Binary Decision Diagrams Using the Role-based
                  Synchronization Approach},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2550},
  pages        = {45--50},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2550/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:10 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/WernerBMSA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}