OXFORD UNIVERSITY COMPUTING LABORATORY

Saturation Methods for Global Model-Checking Pushdown Systems

M. Hague

info

note

Submitted Jan 2009, minor corrections May 2009.

year

2009

links

BibTeX

Download (pdf)

related pages

people

Random Image
Random Image
Random Image