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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	FSTTCS: Foundations of Software Technology and Theoretical Computer Science
Publication status	Published - 2010
Event	FSTTCS: Foundations of Software Technology and Theoretical Computer Science - Chennai, India Duration: 15 Dec 2010 → 18 Dec 2010

Conference	FSTTCS: Foundations of Software Technology and Theoretical Computer Science
Country/Territory	India
City	Chennai
Period	15/12/10 → 18/12/10

Cite this

@inproceedings{f32898f851244c2793623507da947a32,

title = "The Complexity of Model Checking (Collapsible) Higher‐Order Pushdown Systems",

author = "Matthew Hague and Anthony Lin",

year = "2010",

language = "English",

booktitle = "FSTTCS: Foundations of Software Technology and Theoretical Computer Science",

note = "FSTTCS: Foundations of Software Technology and Theoretical Computer Science ; Conference date: 15-12-2010 Through 18-12-2010",

}

TY - GEN

T1 - The Complexity of Model Checking (Collapsible) Higher‐Order Pushdown Systems

AU - Hague, Matthew

AU - Lin, Anthony

PY - 2010

Y1 - 2010

M3 - Conference contribution

BT - FSTTCS: Foundations of Software Technology and Theoretical Computer Science

T2 - FSTTCS: Foundations of Software Technology and Theoretical Computer Science

Y2 - 15 December 2010 through 18 December 2010

ER -