University of Oxford Logo University of OxfordDepartment of Computer Science - Home
Linked in
Linked in
Follow us on twitter
Twitter
On Facebook
Facebook
Instagram
Instagram

Reachability in Parametric One−Counter Automata

Christoph Haase‚ Stephan Kreutzer‚ Joel Ouaknine and James Worrell

Details

Note

Unpublished draft.

Year

2010

Links

BibTeX

Link (pdf)

Related pages

People