summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBjörn B. Brandenburg <bbb@cs.unc.edu>2010-10-21 16:39:02 -0400
committerBjörn B. Brandenburg <bbb@cs.unc.edu>2010-10-21 16:39:02 -0400
commitba5e4dd785f07ca84c786fe12357dd016c6a2f8e (patch)
tree24eaadf6d422594dcf5483cd7bf9276397d4c812
parent7e5ae35ef0e2e4ca328c4c7be1f2948b030d1d67 (diff)
Update credits.
-rw-r--r--index.html11
1 files changed, 5 insertions, 6 deletions
diff --git a/index.html b/index.html
index 3eae13f..d5cc74e 100644
--- a/index.html
+++ b/index.html
@@ -104,20 +104,19 @@ Have a look at our group's <a href="http://www.cs.unc.edu/%7Eanderson/papers.htm
104 href="http://www.cs.unc.edu/~anderson/">Dr. James H. Anderson</a>. 104 href="http://www.cs.unc.edu/~anderson/">Dr. James H. Anderson</a>.
105 </p> 105 </p>
106 <p> 106 <p>
107 The implementation effort is carried out by students of the 107 The developers of the current version are:
108 <a href="http://www.cs.unc.edu/~anderson/real-time/">Real-Time Systems
109 Group</a> at the <a href="http://www.unc.edu">University of North Carolina
110 at Chapel Hill</a>:
111 </p> 108 </p>
112 <ul> 109 <ul>
113 <li> 110 <li>
114 <a href="http://www.cs.unc.edu/~bbb/">Bj&ouml;rn B. Brandenburg</a> (current maintainer) 111 <a href="http://www.cs.unc.edu/~bbb/">Bj&ouml;rn B. Brandenburg</a> (UNC Chapel Hill, maintainer)
115 </li> 112 </li>
116 <li> <a href="http://www.sprg.uniroma2.it/home/bastoni/">Andrea Bastoni</a> (University of Rome "Tor Vergata") 113 <li> <a href="http://www.sprg.uniroma2.it/home/bastoni/">Andrea Bastoni</a> (University of Rome "Tor Vergata")
117 </li> 114 </li>
115 <li> <a href="http://www.cs.unc.edu/~gelliott">Glenn Elliot</a> (UNC Chapel Hill)
116 </li>
118 </ul> 117 </ul>
119 <p class="nobottommargin"> 118 <p class="nobottommargin">
120 Additional collaborators contributed to the previous <a href="litmus2008.html#collaborators">LITMUS<sup>RT</sup> 2008</a> and the <a href="litmus2007.html#collaborators">LITMUS<sup>RT</sup> 2007</a> versions. 119 Additional collaborators contributed to the previous <a href="litmus2008.html#collaborators">LITMUS<sup>RT</sup> 2008</a> and <a href="litmus2007.html#collaborators">LITMUS<sup>RT</sup> 2007</a> versions.
121 </p> 120 </p>
122 </div> 121 </div>
123 122