Guest Editorial: Special Issue of ACM TECS on the ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017)

Patricia Derler, Klaus Schneider 0001, Jean-Pierre Talpin. Guest Editorial: Special Issue of ACM TECS on the ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017). ACM Trans. Embedded Comput. Syst., 18(1), 2019. [doi]

@article{DerlerST19,
  title = {Guest Editorial: Special Issue of ACM TECS on the ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017)},
  author = {Patricia Derler and Klaus Schneider 0001 and Jean-Pierre Talpin},
  year = {2019},
  url = {https://dl.acm.org/citation.cfm?id=3292422},
  researchr = {https://researchr.org/publication/DerlerST19},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Embedded Comput. Syst.},
  volume = {18},
  number = {1},
}