typo

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@859 bbc10eb1-c90d-0410-af57-cb519fbb1720
17 years ago · 3b5e77865d
1 changed files with 1 additions and 1 deletions
--- a/prism-examples/csma/README
+++ b/prism-examples/csma/README
@ -7,7 +7,7 @@ where K is the maximum backoff and N is the number of stations

 For more information on the probabilistic timed automata see: http://www.prismmodelchecker.org/casestudies/csma.php

-The PRISM model uses the integer semantics given in [KNS02b].
+The PRISM model uses the integer semantics given in [KNPS06].

 =====================================================================================