Searching for "Logical Difference and Module Extraction with CEX and MEX." – 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.

Logical Difference and Module Extraction with CEX and MEX
by Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter, Tu Dresden
…Logical Difference and Module Extraction with CEX and MEX Boris Konev 1 , Carsten Lutz 2 , Dirk…
Add To MetaCart

Showing 1 through 1.

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