Logos

Header links

Search History
Bookmarks 0
New Search
Collections
About
Deposit
Help

Footer links

Policies
Disclaimer
Privacy Policy
Cookies
Accessibility Statement
Copyright
API
Contact

NEW SEARCH Collections About Deposit HELP

EXPLORE THE UNIVERSITY OF OXFORD'S WORLD-CLASS RESEARCH

search for

Targeted search options

COVID-19 Collection Climate Collection AI Collection More

Name

Email

-

Comment

You searched for:

Remove constraint Research Group: Verification

Verification

Remove constraint Keyword: tools

tools

Item Type

Thesis1

File Availability

Available1

Division

MPLS1

Department

Computer Science1

College

Linacre College1

Research Group

Verification[remove]1

Subject

Communicating Sequential Processing (CSP)1
Mathematical logic and foundations1
Program development and tools1
Theory and automated verification1

Language

English1

Thesis Type

Doctoral1
- DPhil1

Funder

Engineering and Physical Sciences Research Council1

Item Date

20161

Newly added
Oldest added

10 per page
20 per page
50 per page
100 per page

Email
CSV (max 15000 results)

Email search results

Your Email

Enter the email address that you would like your search results to be sent to.

-

Your message (optional)

Please add any additional information to be included within the email.

Emailed results will be limited to those records displayed with the search parameters you have indicated. To export a larger list you will need to increase the number of results per page.

1 entry found

1

Thesis

Techniques and tools for the verification of concurrent systems

Palikareva, H
2012

FILTER RESULTS

TO TOP

© Copyright - Bodleian Libraries 2024

Disclaimer | Privacy Policy | Policies | Cookies | Accessibility | Copyright | API | Contact