Difference between revisions of "Tools:Cime"

From Termination-Portal.org
Jump to navigationJump to search
(New page: <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool page yourself af...)
 
m (moved Tools:Tool Cime to Tools:Cime: redundant naming)
 
(4 intermediate revisions by 3 users not shown)
Line 6: Line 6:
  
 
{{Tool
 
{{Tool
|shortname=Cime
+
|shortname=Cime3
|longname=Cime
+
|longname=Cime3
 
|homepage=http://a3pat.ensiie.fr/pub/index.en.html
 
|homepage=http://a3pat.ensiie.fr/pub/index.en.html
 
|country=France
 
|country=France
|university=
+
|university=Cédric (CNAM/ENSIIE) and LRI (Univ. Paris-Sud, CNRS)
|developers=
+
|developers=Évelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain.
 +
|publication=[[Bibtex:Contejean07]]
 
}}
 
}}
  
 
<!-- If you want to add some additional information to the tool page, you can do so after this comment. -->
 
<!-- If you want to add some additional information to the tool page, you can do so after this comment. -->

Latest revision as of 12:46, 9 April 2010


Cime3 (Cime3)