Module: ppl/w3ppl Branch: master Commit: 18820851af0700fd46dfda107229fd57d415382a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=18820851af0... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Tue Sep 7 14:10:15 2010 +0200 Typo fixed. --- htdocs/Applications/Applications.raw | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/htdocs/Applications/Applications.raw b/htdocs/Applications/Applications.raw index 3747fc1..3980cb9 100644 --- a/htdocs/Applications/Applications.raw +++ b/htdocs/Applications/Applications.raw @@ -19,7 +19,7 @@ Here are the ones we are aware of. <P> <LI> <A HREF="http://www.lsv.ens-cachan.fr/Software/imitator/">IMITATOR</A> - (Inverse Method for Inferring Time AbstracT behaviOR))" performs + (Inverse Method for Inferring Time AbstracT behaviOR) performs constraint synthesis on parametric timed automata. </LI> <P>