James Worrell: Publications
by date |
by title |
by type |
bibtex
|
[1]
|
Reachability in Succinct and Parametric One-Counter Automata
Christoph Haase et al.
In M. Bravetti, G. Zavattaro, editors, Proceedings of the 20th International Conference on Concurrency Theory (CONCUR09) Vol. 5710 of Lecture Notes in Computer Science, pages 369—383. Springer, September 2009.
Details
|
BibTeX
| Download (pdf) |
|
