Paper by Nir Piterman to appear at HVC'11
A paper entitled "Concurrent Small Process Measures" by M. Huth, J.H. Kuo and Nir Piterman is to appear at the Haifa Verification Conference (HVC) 2011.
Personal tools
Filed under:
Computer Science
- Contact Us
-
Dept of Computer Science
University of Leicester
Leicester, LE1 7RH
United Kingdom
F: +44 (0) 116 252 3604General enquiries:
T: +44 (0) 116 252 2129/3887Admissions enquiries:
T: +44 (0) 116 252 3600
Computer Science Alumni on Facebook
Subscribe to our RSS feed
Follow us on Twitter
- Vacancies
-
- Graduate Research Assistantship in Media, Communication, and Computer Science
- PhD Studentship: Future Filesystems (funded by Microsoft Research)
- Industry
-
The department cooperates with industry through student placements and collaborative training and research. Find out more.
