Chapitre D'ouvrage
Année : 2003
Areces Carlos : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00000393
Soumis le : mardi 4 octobre 2005-19:53:01
Dernière modification le : vendredi 24 mars 2023-14:52:47
Dates et versions
Identifiants
- HAL Id : inria-00000393 , version 1
Citer
Areces Carlos, Gabriel G. Infante-Lopez, Maarten de Rijke. Controlled model exploration. Balbiani, Ph. and Suzuki, N. and Wolter, F. and Zakharyaschev, M. Advances in Modal Logic, 4 (4), World Scientific Publishing Co. Pte. Ltd., pp.205-220, 2003, 0-95430-062-9. ⟨inria-00000393⟩
Collections
42
Consultations
0
Téléchargements