Loading...
The system can't perform the operation now. Try again later.
ArticlesCase lawProfiles
My profileMy libraryMetricsAlerts
Settings
Get journal articles
Get journal articles
Profiles
My profileMy library
Jonathan Kochems

Jonathan Kochems

University of Oxford
Verified email at worc.ox.ac.uk
Cited by 328
quantitative finance limit-order book trading (previously: verification concurrency infinite-state model-checking)
PrivacyTermsHelp
About ScholarSearch help