Saturation Methods for Global Model‐Checking Pushdown Systems. / Hague, Matthew.

2009.

Research output: ThesisDoctoral Thesis

Published

Standard

Saturation Methods for Global Model‐Checking Pushdown Systems. / Hague, Matthew.

2009.

Research output: ThesisDoctoral Thesis

Harvard

APA

Vancouver

Author

BibTeX

@phdthesis{483d61cc656f4d43a3400d308ff2ed95,
title = "Saturation Methods for Global Model‐Checking Pushdown Systems",
author = "Matthew Hague",
year = "2009",
language = "English",
school = "University of Oxford",

}

RIS

TY - THES

T1 - Saturation Methods for Global Model‐Checking Pushdown Systems

AU - Hague, Matthew

PY - 2009

Y1 - 2009

M3 - Doctoral Thesis

ER -