Communication Dans Un Congrès
Année : 2012
Nathalie Bertrand : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00752445
Soumis le : jeudi 15 novembre 2012-17:11:49
Dernière modification le : mercredi 15 mars 2023-08:55:01
Citer
Nathalie Bertrand, John Fearnley, Sven Schewe. Bounded Satisfiability for PCTL. CSL - 21st EACSL Annual Conferences on Computer Science Logic - 2012, Sep 2012, Fontainebleau, France. pp.92-106, ⟨10.4230/LIPIcs.CSL.2012.92⟩. ⟨hal-00752445⟩
55
Consultations
0
Téléchargements