Hague, M., & Ong, C. (2007). Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रHague, M., और C. Ong. Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems. 2007.
एमएलए (9वां संस्करण) प्रशस्ति पत्रHague, M., और C. Ong. Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems. 2007.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.