Computing Publications

Publications Home » Measuring the confinement of conc...

Measuring the confinement of concurrent probabilistic systems

Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky

Conference or Workshop Paper
Proceedings of WITS'03: workshop on issues in the theory of security. 2003 IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS, Warsaw, Poland, 5 - 6 April 2003
2003
pp.1–10
BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.