Difference between revisions of "Checking All-Path Reachability using Matching Logic"
From FSL
Line 3: | Line 3: | ||
<private>== Submitted to MFCS'13 == | <private>== Submitted to MFCS'13 == | ||
<pubbib id='stefanescu-ciobaca-moore-serbanuta-rosu-2013-mfcs-submission' template='PubDefaultWithAbstractAndTitle'/><private> | <pubbib id='stefanescu-ciobaca-moore-serbanuta-rosu-2013-mfcs-submission' template='PubDefaultWithAbstractAndTitle'/><private> | ||
− | |||
− |
Revision as of 23:59, 14 October 2013