Matthew Hague (Department of Computer Science

Identifiers

• name variant Matthew Hague (Department of Computer Science 0.60 · backfill

Papers (1)

1. Saturation algorithms for model-checking pushdown systems cs.FL · 2014 · author #4

Mentions

• 1405.5593 #4 · backfill · confidence 0.70 Matthew Hague (Department of Computer Science

Frequent Coauthors

• Arnaud Carayol (LIGM 1 shared papers
• CNRS) 1 shared papers
• Royal Holloway University of London) 1 shared papers
• Universit\'e Paris-Est 1 shared papers