From 9e5cdc3de7b19e3e4185082fa4f05be220e9cf9c Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Fri, 20 Jul 2012 15:36:44 +0000
Subject: Added links to two more systems based on KLEE: Cloud9 and KleeNet.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@160548 91177308-0d34-0410-b5e6-96231b3b80d8
---
 www/Publications.html | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'www/Publications.html')

diff --git a/www/Publications.html b/www/Publications.html
index 710ea170..6f0c30a9 100644
--- a/www/Publications.html
+++ b/www/Publications.html
@@ -12,7 +12,7 @@
 <!--#include virtual="menu.html.incl"-->
 <div id="content">
   <!--*********************************************************************-->
-  <h1>KLEE-related publications:</h1>
+  <h1>KLEE-related Publications and Systems</h1>
   <!--*********************************************************************-->
 
   Below you can find a list of papers that use or extend KLEE.  Papers
@@ -64,6 +64,8 @@
     ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2010)
     <br>
     April 12-16, 2010, Stockholm, Sweden
+    <br>
+    <b>KleeNet is available <a href="https://www.comsys.rwth-aachen.de/research/projects/kleenet/">here</a>.</b>
     <br><br>
     </li>
     
@@ -169,6 +171,8 @@
     Stefan Bucur, Vlad Ureche, Cristian Zamfir, George Candea
     <br/>
     April 10-13, 2011, Salzburg, Austria
+    <br/>
+    <b>Cloud9 is available <a href="http://cloud9.epfl.ch/">here</a>.</b>
     <br/><br/>
     </li>
     
@@ -276,7 +280,7 @@
     <br>
     February 25-29, 2012, New Orleans, LA, USA
     <br>
-    GKLEE is available <a href="http://www.cs.utah.edu/formal_verification/GKLEE">here</a>.
+    <b>GKLEE is available <a href="http://www.cs.utah.edu/formal_verification/GKLEE">here</a>.</b>
     <br><br>
     </li>
 
-- 
cgit 1.4.1