Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Matthew Prowse
Observed name:
M. Prowse
Institution:
University of Edinburgh
Observed institution:
University of Edinburgh
OpenAlex ID:
A5113528290
Performance modelling with the unified modelling language and stochastic process algebras
2003
·
C. Canevet
, S. Gilmore
, et al.
·
IEE Proceedings - Computers and Digital Techniques
·
35
PDF
Proof-carrying Bytecode
2005
·
Stephen Gilmore
, Matthew Prowse
·
Electronic Notes in Theoretical Computer Science
·
3
PDF
Show more works
View as search
Works count:
3
Citation count:
38
H-index:
2
I10-index:
1
Year
Topic
Type
