Searching for "Model checking for Process Rewrite Systems and a class of action - based regular properties" – 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.

Model checking for process rewrite systems and a class of action-based regular properties
by L. Bozzelli — 2005 — in: Proc. of VMCAI’05, LNCS 3385 (2005
…arXiv:cs/0405003v1 [cs.OH] 3 May 2004 Model checking for Process Rewrite Systems and a class…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 1.

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