Hague, M., & To, A. (2010). The Complexity of Model Checking (Collapsible) Higher−Order Pushdown Systems.
Chicagoスタイル(17版)引用形式Hague, M., , A. To. The Complexity of Model Checking (Collapsible) Higher−Order Pushdown Systems. 2010.
MLA(9版)引用形式Hague, M., , A. To. The Complexity of Model Checking (Collapsible) Higher−Order Pushdown Systems. 2010.
警告: この引用は必ずしも正確ではありません.