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

מידע ביבליוגרפי
Main Authors: Hague, M, To, A
פורמט: Conference item
יצא לאור: 2010