Computing Publications

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.