Home » Authors » François Laroussinie, Nicolas Markey, Philippe Schnoebelen

François Laroussinie, Nicolas Markey, Philippe Schnoebelen

Public reference bibliography and cataloged PDF materials authored or published by François Laroussinie, Nicolas Markey, Philippe Schnoebelen.

Found 1 document(s) Page 1 of 1

On Model Checking Durational Kripke Structures (Extended Abstract)

Year: 2002 • Source: hal.science • Listed PDF

We consider quantitative model checking in \emphdurational Kripke structures (Kripke structures where transitions have integer durations) with timed temporal logics where subscripts put quantitative constraints on the ti...