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]

  • Le CRIM est heureux d'être l'hôte du Montreal Apache Spark Meetup du 18 décembre : https://t.co/KPi5y7lMM3 https://t.co/W43EX2Isyl
  • L’Internet des Objets (IdO) en milieu manufacturier - Webinaire présenté par @economie_quebec en collaboration avec… https://t.co/LPz4Kb0SJG