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]

  • TECHNOCompétences RT @TECHNOCompetenc: Êtes-vous inscrits à la formation le développeur et le besoin d'affaires du 13 mars prochain ? @CRIM_ca @communautique…
  • TECHNOCompétences RT @TECHNOCompetenc: Avez-vous lu l'article d'@espressojobs sur la Classe de Maîtres CSS3/Angular et HTML5 avec nos partenaires le @CRIM_ca…