On the complexity of computing minimal unsatisfiable LTL formulas - Archive ouverte HAL
Article Dans Une Revue Electronic Colloquium on Computational Complexity Année : 2012

On the complexity of computing minimal unsatisfiable LTL formulas

Lakhdar Saïs
Mohand-Said Hacid
Fichier non déposé

Dates et versions

hal-00870901 , version 1 (08-10-2013)

Identifiants

  • HAL Id : hal-00870901 , version 1

Citer

Lakhdar Saïs, Mohand-Said Hacid, François Hantry. On the complexity of computing minimal unsatisfiable LTL formulas. Electronic Colloquium on Computational Complexity, 2012, 19, pp.69. ⟨hal-00870901⟩
97 Consultations
0 Téléchargements

Partager

More