Computable fixpoints in well-structured symbolic model checking

Type de document :
Article dans une revue
Formal Methods in System Design, Springer Verlag, 2013, 43 (2), pp.233-267. 〈10.1007/s10703-012-0168-y〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00906826
Contributeur : Nathalie Bertrand <>
Soumis le : mercredi 20 novembre 2013 - 13:33:59
Dernière modification le : vendredi 16 novembre 2018 - 01:40:32

Lien texte intégral

Identifiants

Citation

Nathalie Bertrand, Philippe Schnoebelen. Computable fixpoints in well-structured symbolic model checking. Formal Methods in System Design, Springer Verlag, 2013, 43 (2), pp.233-267. 〈10.1007/s10703-012-0168-y〉. 〈hal-00906826〉

Partager

Métriques

Consultations de la notice

354