Controlled model exploration - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2003

Controlled model exploration

Gabriel G. Infante-Lopez
  • Function : Author
Maarten de Rijke
  • Function : Author
No file

Dates and versions

inria-00000393 , version 1 (04-10-2005)

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⟩
44 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More