APA (7th ed.) Citation

Kaivola, R., & Kama, N. B. (2025). Timed causal fanin analysis for symbolic simulation. Formal Methods in System Design, 67(1), 3. https://doi.org/10.1007/s10703-025-00478-1

Chicago Style (17th ed.) Citation

Kaivola, Roope, and Neta Bar Kama. "Timed Causal Fanin Analysis for Symbolic Simulation." Formal Methods in System Design 67, no. 1 (2025): 3. https://doi.org/10.1007/s10703-025-00478-1.

MLA (9th ed.) Citation

Kaivola, Roope, and Neta Bar Kama. "Timed Causal Fanin Analysis for Symbolic Simulation." Formal Methods in System Design, vol. 67, no. 1, 2025, p. 3, https://doi.org/10.1007/s10703-025-00478-1.