Searching for "Model Checking Quantitative Linear Time Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Model checking Quantitative Linear Time Logic
by Marco Faella, Axel Legay, Mariëlle Stoelinga
…QAPL 2008 Model checking Quantitative Linear Time Logic Marco Faella Università di Napoli…
Add To MetaCart

Generalized Quantitative Temporal Reasoning
by E.A. Emerson, Richard J. Trefler — 1996
…. Model checking for the quantitative linear time logic RTPLTL+ is described and analyzed in Section 3…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB