Skip to Main content Skip to Navigation
Conference papers

Bounded Satisfiability for PCTL

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00752445
Contributor : Nathalie Bertrand Connect in order to contact the contributor
Submitted on : Thursday, November 15, 2012 - 5:11:49 PM
Last modification on : Friday, February 4, 2022 - 3:17:26 AM

Identifiers

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. pp.92-106, ⟨10.4230/LIPIcs.CSL.2012.92⟩. ⟨hal-00752445⟩

Share

Metrics

Record views

51