Differences

This shows you the differences between two versions of the page.

--- tools:spare_lnc [2014/11/26 14:17]
nguin
+++ tools:spare_lnc [2014/11/26 14:18]
nguin
@@ Line 22: / Line 22: @@
 Une vidéo de démonstration de l'application pour requêter les traces est [[http://liris.cnrs.fr/marie.lefevre/rech/Demos/2014-07-StageM2R-KONG_WIN_CHAMG_Bryan.avi|là]].
-Pour plus d'informations sur le langage SPARE LN, voir le [[http://liris.cnrs.fr/Documents/Liris-6910.pdf|rapport de recherche]].
+Pour plus d'informations sur le langage SPARE LNC, voir le [[http://liris.cnrs.fr/Documents/Liris-6910.pdf|rapport de recherche]].
-Pour toutes questions, contactez [[http://liris.cnrs.fr/membres?id=5102|Bryan Kong Win Chang]], [[http://liris.cnrs.fr/membres?id=1180|Nathalie Guin]], [[http://liris.cnrs.fr/membres?id=2292|Marie Lefevre]], [[http://liris.cnrs.fr/membres?id=93|Pierre-Antoine Champin]].
+Pour toute question, contactez [[http://liris.cnrs.fr/membres?id=5102|Bryan Kong Win Chang]], [[http://liris.cnrs.fr/membres?id=1180|Nathalie Guin]], [[http://liris.cnrs.fr/membres?id=2292|Marie Lefevre]], [[http://liris.cnrs.fr/membres?id=93|Pierre-Antoine Champin]].

Trace-Based Systems - Silex Team