Hague, M., & To, A. (2010). The Complexity of Model Checking (Collapsible) Higher−Order Pushdown Systems.
Style de citation Chicago (17e éd.)Hague, M., et A. To. The Complexity of Model Checking (Collapsible) Higher−Order Pushdown Systems. 2010.
Style de citation MLA (9e éd.)Hague, M., et A. To. The Complexity of Model Checking (Collapsible) Higher−Order Pushdown Systems. 2010.
Attention : ces citations peuvent ne pas être correctes à 100%.