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}, }