Searching for "On-the-Fly Model Checking of RCTL Formulas." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

On-The-Fly Model Checking of RCTL Formulas
by Ilan Beer, Shoham Ben-david, Avner Landver, Avner L — 1998 — In Proc. 10 th International Conference on Computer Aided Verification (CAV’98), LNCS 1427
…On-The-Fly Model Checking of RCTL Formulas Ilan Beer, Shoham Ben-David, Avner Landver IBM Science…
Cited by 34 (13 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB