publications([{
   "bibtype": "inproceedings",
   "type_publi": "icolcomlec",
   "title": "Formal test of interactive systems: ICARE-Lutess / Test formel de systèmes interactifs multimodaux : couplage ICARE – Lutess",
   "booktitle": "Proceedings of ICSSEA 2006, The 19th International Conference on Software & Systems Engineering and their  Applications: Service & System globalization (Paris, France, December 5-7 2006)",
   "year": 2006,
   "uri": "http://iihm.imag.fr/publication/JNP06a/",
   "note": "8 pages.",
   "abbr": "JNP06a",
   "authors": {
      "1": {
         "first_name": "Frédéric",
         "last_name": "Jourde"
      },
      "2": {
         "first_name": "Laurence",
         "last_name": "Nigay"
      },
      "3": {
         "first_name": "Ioannis",
         "last_name": "Parissis"
      }
   },
   "date": "2006-12-05",
   "document": "http://iihm.imag.fr/publs/2006/ICSSEA06-MultiFormal.pdf",
   "type": "Conférences internationales de large diffusion avec comité de lecture sur texte complet",
   "id": 62
}]);