par Devillers, Raymond
Référence Workshop on Logics for Distributed Systems
Publication Publié, 1992
Référence Workshop on Logics for Distributed Systems
Publication Publié, 1992
Publication dans des actes
Titre: |
|
Auteur: | Devillers, Raymond |
Informations sur la publication: | Workshop on Logics for Distributed Systems |
Statut de publication: | Publié, 1992 |
Sujet CREF: | Informatique mathématique |
Langue: | Anglais |