The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking.

From ERCIM Working Group MLQA

Revision as of 07:43, 16 June 2010 by Nataliya (talk | contribs) (The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking. moved to Abstracts)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Redirect page

Jump to navigation Jump to search

Redirect to:

Abstracts

Retrieved from "https://wiki.ercim.eu/wg/MLQA/index.php?title=The_2-valued_and_the_3-Valued_Abstraction-Refinement_Frameworks_in_Model_Checking.&oldid=170"