Acte de conférence, colloque et atelier

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
[Résumé]