Publications Home » Quantitative static analysis of d...
Quantitative static analysis of distributed systems
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
- Journal Article
- Journal of Functional Programming
- Volume 15
- Issue 5
- pp.1–49
- September, 2005
- Cambridge University Press
- ISSN 0956-7968
- DOI 10.1017/S0956796805005599
BibTEX file for the publication
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.