Bounded Satisfiability for PCTL

Type de document :
Communication dans un congrès
CSL - 21st EACSL Annual Conferences on Computer Science Logic - 2012, Sep 2012, Fontainebleau, France. 16, pp.92-106, 2012, LIPIcs. 〈10.4230/LIPIcs.CSL.2012.92〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00752445
Contributeur : Nathalie Bertrand <>
Soumis le : jeudi 15 novembre 2012 - 17:11:49
Dernière modification le : lundi 15 janvier 2018 - 11:43:26

Identifiants

Collections

Citation

Nathalie Bertrand, John Fearnley, Sven Schewe. Bounded Satisfiability for PCTL. CSL - 21st EACSL Annual Conferences on Computer Science Logic - 2012, Sep 2012, Fontainebleau, France. 16, pp.92-106, 2012, LIPIcs. 〈10.4230/LIPIcs.CSL.2012.92〉. 〈hal-00752445〉

Partager

Métriques

Consultations de la notice

98