Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall

Abstract : no abstract
Type de document :
Communication dans un congrès
Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers, 2008, Unknown, Unknown Region. pp.117--131, 2008, 〈10.1007/978-3-642-02734-5_8〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01699955
Contributeur : Catalin Dima <>
Soumis le : vendredi 2 février 2018 - 22:52:36
Dernière modification le : samedi 3 février 2018 - 01:11:57

Identifiants

Collections

Citation

Catalin Dima. Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall. Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers, 2008, Unknown, Unknown Region. pp.117--131, 2008, 〈10.1007/978-3-642-02734-5_8〉. 〈hal-01699955〉

Partager

Métriques

Consultations de la notice

15