Bounded Satisfiability for PCTL - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012
No file

Dates and versions

hal-00752445 , version 1 (15-11-2012)

Identifiers

Cite

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⟩

Collections

INRIA INRIA2
55 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More