Bug in README file.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1694 bbc10eb1-c90d-0410-af57-cb519fbb1720
16 years ago · 6c213de941
1 changed files with 5 additions and 5 deletions
--- 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