-
Notifications
You must be signed in to change notification settings - Fork 0
/
team.html
78 lines (73 loc) · 2.44 KB
/
team.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
<html>
<head>
<title>HTL Team</title>
<LINK href="./style.css" type="text/css" rel="stylesheet">
</head>
<body bgcolor="#eeeeff">
<table width="100%" class="title">
<tr>
<td align="center"><b><font color="blue">H</font></b>ierarchical <b><font color="blue">T</font></b>iming <b><font color="blue">L</font></b>anguage</td>
</tr>
</table>
<table width="100%" class="page_border">
<tr>
<td valign="top">
<table width="200" class="menu_border">
<tr>
<td width="200"><a href="./index.html" class="menu_item_div"><div class="menu_item">Home</div></td>
</tr>
<tr>
<td width="200"><a href="./HTLCompiler.html" class="menu_item_div"><div class="menu_item">HTL Compiler</div></td>
</tr>
<tr>
<td width="200"><a href="./emachine.html" class="menu_item_div"><div class="menu_item">E Machine</div></td>
</tr>
<tr>
<td width="200"><a href="./exotask-htl/index.html" class="menu_item_div"><div class="menu_item"> HTL Exotask</div></a></td>
</tr>
<tr>
<td width="200"><a href="./reliability.html" class="menu_item_div"><div class="menu_item"> HTL and Reliability</div></a></td>
</tr>
<tr>
<td width="200"><a href="./examples.html" class="menu_item_div"><div class="menu_item"> Examples</div></a></td>
</tr>
<tr>
<td width="200"><a href="./publications.html" class="menu_item_div"><div class="menu_item"> Publications</div></a></td>
</tr>
<tr>
<td width="200"><div class="inactive_menu_item"> Team</div></td>
</tr>
</table>
</td>
<td valign="top">
<br>
<br>
<table border="0" width="100%">
<tr>
<td><a href="http://www.eecs.berkeley.edu/%7Earkadeb"><b>Arkadeb GHOSAL</b></a></td>
<td>University of California, Berkeley</td>
</tr>
<tr>
<td><a href="http://mtc.epfl.ch/%7Etah"><b>Thomas A. HENZINGER</b></a></td>
<td>Ecole Polytechnique Federale de Lausanne</td>
</tr>
<tr>
<td><a href="http://www.cs.uni-salzburg.at/%7Ediercan"><b>Daniel IERCAN</b></a></td>
<td>"Politehnica" University of Timisora</td>
</tr>
<tr>
<td><a href="http://www.cs.uni-salzburg.at/%7Eck"><b>Christoph KIRSCH</b></a></td>
<td>University of Salzburg</td>
</tr>
<tr>
<td><a href="http://www.eecs.berkeley.edu/%7Ealberto"><b>Alberto SANGIOVANNI-VINCENTELLI</b></a></td>
<td>University of California, Berkeley</td>
</tr>
</table>
<br>
<br>
</td>
</tr>
</table>
</body>
</html>