aboutsummaryrefslogtreecommitdiffstats
path: root/notes/formalisation.pdf
diff options
context:
space:
mode:
authorThibaut Horel <thibaut.horel@gmail.com>2014-11-23 03:33:10 -0500
committerThibaut Horel <thibaut.horel@gmail.com>2014-11-23 03:33:10 -0500
commitf96af5373ee10f846cc6a3c5e59ea4e5473fe583 (patch)
treefb90dbacd60b7a0d8bc06c939a74d97602f1d0ff /notes/formalisation.pdf
parentb6d9207a03a8babea55b1e97493633c36744dd72 (diff)
downloadcascades-f96af5373ee10f846cc6a3c5e59ea4e5473fe583.tar.gz
Some corrections in the ICM section
I was confused by the active/infected distinction. I think it is clearer now.
Diffstat (limited to 'notes/formalisation.pdf')
-rw-r--r--notes/formalisation.pdfbin194430 -> 194405 bytes
1 files changed, 0 insertions, 0 deletions
diff --git a/notes/formalisation.pdf b/notes/formalisation.pdf
index 75d5480..2bdcb11 100644
--- a/notes/formalisation.pdf
+++ b/notes/formalisation.pdf
Binary files differ