APA (7th ed.) Citation

Bennour, I. E. (2021). Formal verification of timed synchronous dataflow graphs using Lustre. Journal of logical and algebraic methods in programming, 121, 100678. https://doi.org/10.1016/j.jlamp.2021.100678

Chicago Style (17th ed.) Citation

Bennour, Imed Eddine. "Formal Verification of Timed Synchronous Dataflow Graphs Using Lustre." Journal of Logical and Algebraic Methods in Programming 121 (2021): 100678. https://doi.org/10.1016/j.jlamp.2021.100678.

MLA (9th ed.) Citation

Bennour, Imed Eddine. "Formal Verification of Timed Synchronous Dataflow Graphs Using Lustre." Journal of Logical and Algebraic Methods in Programming, vol. 121, 2021, p. 100678, https://doi.org/10.1016/j.jlamp.2021.100678.