The Complexity of Model Checking (Collapsible) Higher−Order Pushdown Systems

Opis bibliograficzny
Główni autorzy: Hague, M, To, A
Format: Conference item
Wydane: 2010