MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Partial Order Approach to Branching Time Logic Model Checking." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

A Partial Order Approach to Branching Time Logic Model Checking
by Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek — 1994 — Information and Computation
…A Partial Order Approach to Branching Time Logic Model Checking Rob Gerth and Ruurd Kuiper…
Cited by 39 (10 self) – Add To MetaCart

unknown title
by P. Wolper, P. Godefroid, R. Gerth, R. Kuiper, D. Peled, W. Pencz
…. Penczek, A Partial Order Approach to Branching Time Logic Model Checking, ISTCS'95, Third Israel…
Add To MetaCart

Logic and Algebra in Concurrency
by Manfred Droste, Technische Universit At Dresden — 2000
…. Peled, and W. Penczek: A Partial Order Approach to Branching Time Logic Model Checking, Information…
Add To MetaCart

Showing 1 through 3.

ATOM

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