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

Dettagli Bibliografici
Autori principali: Hague, M, To, A
Natura: Conference item
Pubblicazione: 2010

Documenti analoghi