Wipliez, M., & Raulet, M. (2012). Classification of Dataflow Actors with Satisfiability and Abstract Interpretation. International journal of embedded and real-time communication systems, 3(1), 49-69. https://doi.org/10.4018/jertcs.2012010103
Chicago-Zitierstil (17. Ausg.)Wipliez, Matthieu, und Mickaël Raulet. "Classification of Dataflow Actors with Satisfiability and Abstract Interpretation." International Journal of Embedded and Real-time Communication Systems 3, no. 1 (2012): 49-69. https://doi.org/10.4018/jertcs.2012010103.
MLA-Zitierstil (9. Ausg.)Wipliez, Matthieu, und Mickaël Raulet. "Classification of Dataflow Actors with Satisfiability and Abstract Interpretation." International Journal of Embedded and Real-time Communication Systems, vol. 3, no. 1, 2012, pp. 49-69, https://doi.org/10.4018/jertcs.2012010103.