Skip to main content

University of Oxford Department of Computer Science

Search for

Home
Study with us
Research (current)
News

Events
About Us
Student Space
Partner with us

Home
Research
Publications
The automated verification of timewise refinement

The automated verification of timewise refinement

A.W. Roscoe

Journal

EIT−CPSE

Year

2013

Links

BibTeX
Download tring2.csp
Download tring.csp
Download twrs.pdf

See Also

Bill Roscoe

Algorithms and Complexity Theory
Artificial Intelligence and Machine Learning
Automated Verification
Computational Biology and Health Informatics
Data, Knowledge and Action
Human Centred Computing
Programming Languages
Quantum
Security
Systems

Back to Top

Calendars
Internal
RSS Feeds
Sitemap
Privacy & Cookies
Accessibility Statement

© University of Oxford

/publications/publication6914-abstract.html