Conference , Workshops Proceedings

Propositional Scopes in Linear ...

Haydar, M., Boroday, S., Petrenko, A. et Sahraoui., H. "Propositional Scopes in Linear Temporal Logic" dans Actes du 5e Colloque International sur les Nouvelles Technologies de la Répartition (NOTERE 2005). Québec, Gatineau, Canada
[Full text] [Abstract]

  • ????Dernières nouvelles du CRIM! Infolettre février 2018 par ici: https://t.co/WNwaHqDdm5
  • La Journée Techno fut couronnée de succès! L'événement a attiré une centaine de personnes du milieu de la recherche… https://t.co/N1ZNNK6mmk