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

Bibliographische Detailangaben
Hauptverfasser: Hague, M, To, A
Format: Conference item
Veröffentlicht: 2010

Ähnliche Einträge