Logos

Header links

Search History
Bookmarks 0
New Search
About
Deposit
Help

Footer links

Policies
Disclaimer
Privacy Policy
Cookies
Accessibility Statement
Copyright
API
Contact

NEW SEARCH About Deposit HELP

EXPLORE THE UNIVERSITY OF OXFORD'S WORLD-CLASS RESEARCH

search for

Targeted search options

COVID-19 Portal Climate Portal

Name

Email

-

Comment

You searched for:

Remove constraint Division: MPLS Division

MPLS Division

Remove constraint Subject: Mathematics of computing → Probability and statistics

Mathematics of computing → Probability and statistics

Item Type

Journal article1

File Availability

Not available1

Division

MPLS1
MPLS Division[remove]1

Department

Computer Science1

College

St Anne's College1
Trinity College1

Subject

Mathematics of computing → Probability and statistics[remove]1
Theory of computation → Logic and verification1

Funder

European Commission1
Royal Society1

Item Date

20181

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

Journal article

Central limit model checking

Bortolussi, L, Cardelli, L, Kwiatkowska, M, et al.
2018-01-01

FILTER RESULTS

TO TOP

© Copyright - Bodleian Libraries 2023

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