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]

  • Thank you for supporting innovative initiatives and collaborative work! https://t.co/h2TvLneAbp
  • Découvrez la #startech @technopolys_qc de la semaine → l'entreprise Hospitalis : moteur d’efficacité clinique! https://t.co/pE7TZbmfp0