APA (7th ed.) Citation

Saboori, A., Hadjicostis, C. N., & Hadjicostis, C. N. [. (2010). Reduced-complexity verification for initial-state opacity in modular discrete event systems.

Chicago Style (17th ed.) Citation

Saboori, A., Christoforos N. Hadjicostis, and Christoforos N. [0000-0002-1706-708X] Hadjicostis. Reduced-complexity Verification for Initial-state Opacity in Modular Discrete Event Systems. 2010.

MLA (9th ed.) Citation

Saboori, A., et al. Reduced-complexity Verification for Initial-state Opacity in Modular Discrete Event Systems. 2010.