Searching for "Model Checking Synchronized Products of Infinite Transition Systems." – 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 Synchronized Products of Infinite Transition Systems
by Stefan Wohrle And
…Model Checking Synchronized Products of Infinite Transition Systems Abstract Formal verification…
Add To MetaCart

Model checking synchronized products of infinite transition systems
by Stefan Wöhrle, Wolfgang Thomas — 2004 — in: Proc. 19th LICS, IEEE Comp. Soc
…arXiv:0710.5659v1 [cs.LO] 30 Oct 2007 MODEL CHECKING SYNCHRONIZED PRODUCTS OF INFINITE TRANSITION…
Cited by 5 (1 self) – Add To MetaCart

Showing 1 through 2.

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