skip to content
Study at Cambridge
About the University
Research at Cambridge
Search site
Home
Study at Cambridge
Undergraduate
Undergraduate courses
Applying
Events and open days
Fees and finance
Postgraduate
Postgraduate courses
How to apply
Postgraduate events
Fees and funding
International students
Continuing education
Executive and professional education
Courses in education
About the University
How the University and Colleges work
Term dates and calendars
History
Map
Visiting the University
Annual reports
Equality and diversity
News
A global university
Events
Public engagement
Jobs
Give to Cambridge
Research at Cambridge
For staff
For Cambridge students
For alumni
For our researchers
Business and enterprise
Colleges & departments
Email & phone search
Give to Cambridge
Libraries
Museums & collections
Neurolex Group
Department of Psychology
Home
Research
Research overview
Neuro-cognitive organisation of the language processing system
Cross-linguistic investigation of language processing mechanisms
Multivariate methods development
Multivariate methods development overview
Searchlight representational similarity analysis in fMRI and EMEG
Kymata
Mapping tonotopic organization in human temporal cortex
People
Current members
Past members
Publications
Publications overview
Conference presentations
Invited talks
Contact
Jobs
Zeno time lock
Neurolex Group
Publications
Research
People
Contact
Jobs
uppaal model checking
Bowman_ENTCS2005_Zeno.pdf
