Skip to main content
University of Oxford Department of Computer Science
Search for
Search
Toggle
Main Menu
Home
Study with us
Research
News
Events
(current)
About Us
Student Space
Partner with us
Home
Events
Verification Seminars
New search strategies for CSP refinement in FDR
New search strategies for CSP refinement in FDR
Philip Armstrong
( Oxford University )
2
Apr
11:30 2nd April 2008 ( Trinity Term 2008 )
Room 051, Oxford University Computing Laboratory
Share this:
Seminar Series
Verification Seminars
See also
Philip Armstrong
Concurrency
Hardware Verification
Probabilistic Model Checking
Probabilistic Verification for Systems Biology
Security
Automated Verification
Coordinators
Alessandro Abate
Renate Henison
News & Events
Events
Upcoming Events
Outreach events
Seminars by Series
Back to Top