APA (7th ed.) Citation

Ferlin, A., Wiels, V., & Bon, P. (2016). Statistical Automaton for Verifying Temporal Properties and Computing Information on Traces. International Journal of Computers, Communications & Control, 11(5), 645. https://doi.org/10.15837/ijccc.2016.5.2148

Chicago Style (17th ed.) Citation

Ferlin, A., V. Wiels, and P. Bon. "Statistical Automaton for Verifying Temporal Properties and Computing Information on Traces." International Journal of Computers, Communications & Control 11, no. 5 (2016): 645. https://doi.org/10.15837/ijccc.2016.5.2148.

MLA (9th ed.) Citation

Ferlin, A., et al. "Statistical Automaton for Verifying Temporal Properties and Computing Information on Traces." International Journal of Computers, Communications & Control, vol. 11, no. 5, 2016, p. 645, https://doi.org/10.15837/ijccc.2016.5.2148.