Book Sections
Year : 2003
Areces Carlos : Connect in order to contact the contributor
https://inria.hal.science/inria-00000393
Submitted on : Tuesday, October 4, 2005-7:53:01 PM
Last modification on : Friday, March 24, 2023-2:52:47 PM
Dates and versions
Identifiers
- HAL Id : inria-00000393 , version 1
Cite
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
View
0
Download