Technical report

Adding Propositional Scopes ...

Haydar, M., Boroday, S., Petrenko, A., Sahraoui, H. Adding Propositional Scopes to Linear Temporal Logic. Montréal, CRIM, 2005. 24 p. . [CRIM-05/05-06]

  • Présentation de l’étude d’impact par Étienne Vignola-Gagné de @ScienceMetrix. Merci à ceux qui ont contribué, par l… https://t.co/wae5iGCYLY
  • Ouverture de l’assemblée par Guillaume Bazinet, VP Stratégie et développement d’affaires chez @FZXRecrutement et pr… https://t.co/nTyvVnT4CH