OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Marcin Jurdzinski and Ashutosh Trivedi
book title
Foundations of Software Technology and Theoretical Computer Science
journal
FSTTCS
note
To appear.
year
2008
BibTeX
Ashutosh Trivedi
