Hague, M., & Ong, C. (2008). Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Hague, M., ба C. Ong. Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems. 2008.
MLA -ийн эшлэл (9 дэх хэвлэлт)Hague, M., ба C. Ong. Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems. 2008.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.