Skip to content

Latest commit

 

History

History
84 lines (66 loc) · 2.44 KB

header.md

File metadata and controls

84 lines (66 loc) · 2.44 KB
				<div class="sidetitle">
					<a class="sidetitle" href="index.md">About</a>
				</div>

				<div class="sidetitle">
					<a class="sidetitle" href="libddd.md">LibDDD</a>
				</div>
				
				<div class="sidetitle">
					<a class="sidetitle" href="itstools.md">ITS Tools</a>
				</div>
				
				<div class="sidetitle">
					<a class="sidetitle" href="coloane.md">Time Petri nets</a>
				</div>
				
				<div class="sidetitle">
					<a class="sidetitle" href="ta.md">Timed Automata</a>
				</div>
				
				<div class="sidetitle">
					<a class="sidetitle" href="dve.md">DVE</a>
				</div>
				<div class="sidetitle">
					<a class="sidetitle" href="promela.md">Promela</a>
				</div>
				
				<div class="sidetitle">
					<a class="sidetitle" href="gal.md">Guarded Action Language</a>
				</div>
				
				<div class="sidetitle">
					<a class="sidetitle" href="galmm.md">GAL Meta-model</a>
				</div>
				
				<div class="sidetitle">
					<a class="sidetitle" href="composite.md">Composite ITS</a>
				</div>
				
				<div>
					<a class="sidetitle" href="analysis.md">CTL/LTL Analysis</a>
				</div>
				
				<div class="sidetitle">
					<a class="sidetitle" href="download.md">Download</a>
				</div>
				
				<div class="sidetitle">
					<a class="sidetitle" href="manual.md">Documents</a>
				</div>
				
				<div class="sidetitle">
					<a class="sidetitle" href="ltl_bench.md">LTL data</a>
				</div>

				<div class="sidetitle">
					<a class="sidetitle" href="bug_report.md">Bug Report</a>
				</div>
				<script type="text/javascript" src="http://www.openhub.net/p/478624/widgets/project_thin_badge.js"></script>
			</div>

			</td>
		<td valign="top" bgcolor="#FFFFFF"><table width="774" border="0"
				cellspacing="0" cellpadding="10">
				<tr>
					<td bgcolor="#BCC9D6">[LIP6](http://www.lip6.fr)
						&gt; [Software](http://www.lip6.fr/en/production/logiciels.md)
						&gt; [MoVe Sofware](../index.html) &gt; <a
						href="index.md">SDD/DDD</a> &gt; 
					</td>
				</tr>
				<tr>
					<td bgcolor="#FFFFFF">