From 6c213de9410244e983e0216643fe15fab133447d Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 21 Jan 2010 22:21:17 +0000 Subject: [PATCH] Bug in README file. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1694 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/firewire/README | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/prism-examples/firewire/README b/prism-examples/firewire/README index 174578db..31e1104f 100644 --- a/prism-examples/firewire/README +++ b/prism-examples/firewire/README @@ -22,8 +22,8 @@ M. Stoelinga and F. Vaandrager Root Contention in IEEE 1394 In Proc. 5th AMAST Workshop on Real-Time and Probabilistic Systems (ARTS'99), pp. 53-74, 1999 (Available as Volume 1601 of LNCS, (c) Springer Verlag) - -[KNPS06] -M. Kwiatkowska, G. Norman, D. Parker and J. Sproston -Performance Analysis of Probabilistic Timed Automata using Digital Clocks -Formal Methods in System Design, 29:33-78, 2006 + +[KNPS06] +M. Kwiatkowska, G. Norman, D. Parker and J. Sproston +Performance Analysis of Probabilistic Timed Automata using Digital Clocks +Formal Methods in System Design, 29:33-78, 2006 \ No newline at end of file