Searching for "Comparing Model Checking and Term Rewriting for the Verification of an Embedded System." – 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.

Comparing Model Checking And Term Rewriting For The Verification Of An Embedded System
by Klaus Schneider, Michaela Huhn — 1999 — DIPES98: International IFIP Workshop on Distributed and Parallel Embedded Systems
…COMPARING MODEL CHECKING AND TERM REWRITING FOR THE VERIFICATION OF AN EMBEDDED SYSTEM Klaus…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 1.

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