APA (7. basım) Alıntı

Hague, M., & Ong, C. (2007). Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems.

Chicago Style (17. basım) Atıf

Hague, M., ve C. Ong. Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems. 2007.

MLA (9th ed.) Atıf

Hague, M., ve C. Ong. Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems. 2007.

Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..