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]

  • #ÉvénementPartenaire : Forum CIRANO-ADRIQ - Françoys Labonté siégera sur un panel autour de la formation et l'accom… https://t.co/QmyYdYO4Eg
  • TechnoMontreal RT @TechnoMontreal: Le ministre de @economie_quebec @MinFitzgibbon sera présent lors de l'événement Futur des technologies, pour soutenir l…