Conference Papers
Year : 2012
Nathalie Bertrand : Connect in order to contact the contributor
https://inria.hal.science/hal-00752445
Submitted on : Thursday, November 15, 2012-5:11:49 PM
Last modification on : Wednesday, March 15, 2023-8:55:01 AM
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⟩
55
View
0
Download