OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Marcin Jurdzinski and Ashutosh Trivedi
book title
Automata, Languages and Programming
journal
ICALP
pages
838—849
publisher
Springer
series
LNCS
volume
4596
year
2007
BibTeX
Link
Ashutosh Trivedi
