From 3b5e77865dfa8b582f857a669ab1f576d51546e5 Mon Sep 17 00:00:00 2001 From: Gethin Norman Date: Fri, 5 Dec 2008 14:50:00 +0000 Subject: [PATCH] typo git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@859 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/csma/README | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism-examples/csma/README b/prism-examples/csma/README index ab5c342a..59aaf063 100644 --- 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]. =====================================================================================